No label defined (Q4763590)
From MaRDI portal
scientific article; zbMATH DE number 744075
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 744075 |
Statements
17 April 1995
0 references
timed-automaton model
0 references
real-time systems
0 references
hybrid systems
0 references