A Refinement Calculus for the Development of Real-Time Systems

• Authors:

• Z. Chen;A. Cau;H. Zedan;X. Liu;H. Yang

• Affiliations:

• -;-;-;-;-

• Venue:
• APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
• Year:
• 1998