Pages that link to "Item:Q2629850"
From MaRDI portal
The following pages link to Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850):
Displaying 5 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
