Pages that link to "Item:Q4593944"
From MaRDI portal
The following pages link to Compositional specification of timed systems (Q4593944):
Displayed 9 items.
- On the composition of time Petri nets (Q645045) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Weak Time Petri Nets Strike Back! (Q3184699) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)