Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Systematic software development using VDM
Systematic software development using VDM
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Specification case studies
The Specification of Complex Systems
The Specification of Complex Systems
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
A formal specification in B of a medical decision support system
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
| Hi-index | 0.00 |