The following pages link to Timed I/O automata (Q2985870):
Displaying 23 items.
- Compatibility in a multi-component environment (Q383353) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Constraint Markov chains (Q554215) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Checking conformance for time-constrained scenario-based specifications (Q2355682) (← links)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
- (Q3384887) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- (Q5114827) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
