The following pages link to (Q4552455):
Displaying 10 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)
- Syntax and semantics of the compositional interchange format for hybrid systems (Q1932345) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- Hierarchical synthesis system with hybrid DLO‐MOGA optimization (Q3019420) (← links)
- (Q4373485) (← links)
- (Q4417993) (← links)