Continuous modeling of real-time and hybrid systems: from concepts to tools
Special section on timed and hybrid systems
- 117 Downloads
Key words: Continuous time modeling – Formal methods – Discrete time modeling – Timed automata-based modeling – Drifting clocks – Hybrid systems
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1997