TAM: A Formal Framework for the Development of Distributed Real-Time Systems

• Authors:

• David Scholefield;Hussein S. M. Zedan

• Affiliations:

• -;-

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