An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Rteq: modeling and validating infinite-state hard-real-time systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |