The following pages link to The Theory of Timed I/O Automata (Q3006716):
Displaying 11 items.
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Modeling Objects Moving in a Complex Environment with World Automata (Q4560622) (← links)
- Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language (Q5859682) (← links)
