An extended duration calculus for hybrid real-time systems

This publication has 10 references indexed in Scilit:

• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Semantics and completeness of Duration Calculus
  Published by Springer Nature ,1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Specification Of Embedded, Real-time Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Specifying and verifying requirements of real-time systems
  ACM SIGSOFT Software Engineering Notes, 1991
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985
• Dynamic Systems.
  Published by Defense Technical Information Center (DTIC) ,1979