Verification of Safety Critical Systems Using TTM/RTTL

• Authors:

• Jonathan S. Ostroff

• Affiliations:

• -

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