DATE '00 Proceedings of the conference on Design, automation and test in Europe
Using MTBDDs for Compostion and Model Checking of Real-Time Systems
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Do You Trust Your Model Checker?
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Modleing and Checking Networks of Communicating Real-Time Process
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Safety Analysis of the Height Control System for the Elbtunnel
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
A tutorial introduction to symbolic model checking
Logic for concurrency and synchronisation
Conceptual framework for business processes compositional verification
Information and Software Technology
| Hi-index | 0.00 |