Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
The design and analysis of real-time systems using the ASTRAL software development environment
Annals of Software Engineering
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
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
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
| Hi-index | 0.00 |