Pages that link to "Item:Q3541012"
From MaRDI portal
The following pages link to Distributed Timed Automata with Independently Evolving Clocks (Q3541012):
Displayed 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- Distributed Timed Automata with Independently Evolving Clocks (Q3541012) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)