Pages that link to "Item:Q5494305"
From MaRDI portal
The following pages link to Formal Methods for the Design of Real-Time Systems (Q5494305):
Displayed 5 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)