The following pages link to (Q4507811):
Displaying 8 items.
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Timed testing of concurrent systems (Q1899907) (← links)
- Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900956) (← links)