Requirement Specification For Real-Time and Hybrid Systems

• Authors:

• Heping He;Hussein Zedan

• Affiliations:

• -;-

• Venue:
• FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
• Year:
• 1993