Pages that link to "Item:Q1870864"
From MaRDI portal
The following pages link to Mode-automata: A new domain-specific construct for the development of safe critical systems. (Q1870864):
Displaying 5 items.
- Development of global specification for dynamically adaptive software (Q488401) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Hybrid Systems: Computation and Control (Q5703939) (← links)