Pages that link to "Item:Q4593936"
From MaRDI portal
The following pages link to On the power of non-observable actions in timed automata (Q4593936):
Displayed 12 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Updatable timed automata (Q1885906) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)
- Removing ε-transitions in timed automata (Q5048956) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)