6 search results - page 2 / 2 » A Hierarchy of Constraint Systems for Data-Flow Analysis of ... |
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...