Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
Parallel Refinement Mechanisms for Real-Time 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
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Generalized discrete timed automata: decidable approximations for safety verification
Theoretical Computer Science - Computing and combinatorics
Past pushdown timed automata and safety verification
Theoretical Computer Science - Implementation and application automata
Formal analysis of an electronic voting system: An experience report
Journal of Systems and Software
| Hi-index | 0.00 |