The following pages link to (Q4552473):
Displayed 5 items.
- Hybrid I/O automata. (Q1427865) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- Programmed Strategies for Program Verification (Q2864527) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)