A model of systems with modes and mode transitions (Q2141292)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model of systems with modes and mode transitions |
scientific article |
Statements
A model of systems with modes and mode transitions (English)
0 references
25 May 2022
0 references
modes of operation
0 references
mode transitions
0 references
abstract simplicial complexes
0 references
presheaf of data types
0 references
autonomous cars
0 references
