Structural transformations for data-enriched real-time systems (Q493518)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6478321
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Structural transformations for data-enriched real-time systems |
scientific article; zbMATH DE number 6478321 |
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
0.7461616396903992
0 references
0.7269569635391235
0 references
0.7264181971549988
0 references
0.7132493853569031
0 references
