Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
| Hi-index | 0.00 |