The following pages link to (Q4552455):
Displayed 6 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)