Advertisement

Continuous modeling of real-time and hybrid systems: from concepts to tools

  • Kim G. Larsen
  • B. Steffen
  • C. Weise
Special section on timed and hybrid systems
Key words: Continuous time modeling – Formal methods – Discrete time modeling – Timed automata-based modeling – Drifting clocks – Hybrid systems 

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

  • Kim G. Larsen
    • 1
  • B. Steffen
    • 2
  • C. Weise
    • 1
  1. 1.BRICS, Department of Computer Science, Aalborg University, DenmarkDK
  2. 2.Lehrstuhl Informatik V, University of Dortmund, GermanyDE

Personalised recommendations