Compositional Verification of Real-Time Systems using Extended Hoare Triples

• Authors:

• Jozef Hooman

• Affiliations:

• -

• Venue:
• Proceedings of the Real-Time: Theory in Practice, REX Workshop
• Year:
• 1991