The following pages link to The Theory of Timed I/O Automata (Q3006716):
Displaying 15 items.
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Hybrid I/O automata. (Q1427865) (← 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)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464767) (← links)
- Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language (Q5859682) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897951) (← links)
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory (Q6163881) (← links)
