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
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Specification and Verification of Real-Time Behaviour Using Z and RTL
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Hi-index | 0.00 |