ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Providing automated support to deductive analysis of time critical systems
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Directions for research in approximate system analysis
ACM Computing Surveys (CSUR)
Efficient Specification-Based Component Retrieval
Automated Software Engineering
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Systematic Formal Verification of Interpreters
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |