IEEE Transactions on Software Engineering
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange
IEEE Transactions on Software Engineering
Developing reactive systems in a VDM framework
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Adding temporal annotations and associated verification to the Ravenscar profile
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
| Hi-index | 0.02 |