Verifying hybrid systems

This publication has 11 references indexed in Scilit:

• Explicit clock temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Models for reactivity
  Acta Informatica, 1993
• Timed and Hybrid Statecharts and their textual representation
  Published by Springer Nature ,1992
• Putting time into proof outlines
  Published by Springer Nature ,1992
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Completing the temporal picture
  Theoretical Computer Science, 1991
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987