Continuous modeling of real-time and hybrid systems: From concepts to tools (Q1856190)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Continuous modeling of real-time and hybrid systems: From concepts to tools |
scientific article; zbMATH DE number 1862295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuous modeling of real-time and hybrid systems: From concepts to tools |
scientific article; zbMATH DE number 1862295 |
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
