The following pages link to Causal testing (Q5054889):
Displaying 5 items.
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Timed testing of concurrent systems (Q1899907) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- (Q3347167) (← links)