Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language

• Authors:

• Nicolas Halbwachs;Daniel Pilaud;Farid Ouabdesselam;A.-C. Glory

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
• Year:
• 1989