Structural transformations for data-enriched real-time systems (Q493518)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structural transformations for data-enriched real-time systems |
scientific article |
Statements
Structural transformations for data-enriched real-time systems (English)
0 references
3 September 2015
0 references
structural transformations
0 references
extended timed automata
0 references
layered composition
0 references
communication closedness
0 references
non-interference and precedence
0 references
separation
0 references
flattening
0 references
layered reachability
0 references
real-time mutual exclusion
0 references
