Integrating VDM++ and real-time system design

This publication has 6 references indexed in Scilit:

• Transforming continuous into discrete specifications with VDM
  Published by Institution of Engineering and Technology (IET) ,1996
• Refinement of Complex Systems: A Case Study
  The Computer Journal, 1995
• HRT-HOOD: A structured design method for hard real-time systems
  Real-Time Systems, 1994
• Describing, structuring and implementing objects
  Published by Springer Nature ,1991
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
  Lecture Notes in Computer Science, 1986