A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Hi-index | 0.00 |