Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models

• Authors:

• Hans Toetenel;Jan van Katwijk

• Affiliations:

• -;-

• Venue:
• Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1992