Continuous modeling of real-time and hybrid systems: From concepts to tools (Q1856190)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Continuous modeling of real-time and hybrid systems: From concepts to tools |
scientific article |
Statements
Continuous modeling of real-time and hybrid systems: From concepts to tools (English)
0 references
1997
0 references
continuous time modeling
0 references
formal methods
0 references
discrete time modeling
0 references
timed automata-based modeling
0 references
drifting clocks
0 references
hybrid systems
0 references