Verifying hybrid systems
Authors:
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 4-35
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Models for reactivityActa Informatica, 1993
- Timed and Hybrid Statecharts and their textual representationLecture Notes in Computer Science, 1992
- Prom timed to hybrid systems1992
- Putting time into proof outlines1992
- Logics and models of real time: A survey1992
- An old-fashioned recipe for real time1992
- A calculus of durationsInformation Processing Letters, 1991
- Completing the temporal pictureTheoretical Computer Science, 1991
- Applications of temporal logic to the specification of real time systems1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987