Advertisement

KRONOS: a verification tool for real-time systems

  • Sergio Yovine
Special section on timed and hybrid systems
Key words: Real-time systems – Timed automata – Timed temporal logics – Bisimulation – Specification – Verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Sergio Yovine
    • 1
  1. 1.Verimag, Centre Equation, 2 Ave. de Vignate, F-38610 Gières, France; E-mail: Sergio.Yovine@imag.frFR

Personalised recommendations