Linear duration invariants

This publication has 7 references indexed in Scilit:

• A formal approach to computer systems requirements documentation
  Published by Springer Nature ,1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Integration Graphs: A class of decidable hybrid systems
  Published by Springer Nature ,1993
• Verifying hybrid systems
  Published by Springer Nature ,1993
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Specification Of Embedded, Real-time Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• A calculus of durations
  Information Processing Letters, 1991