Pages that link to "Item:Q766162"
From MaRDI portal
The following pages link to Testing for refinement in \textsf{Circus} (Q766162):
Displaying 5 items.
- Test selection for traces refinement (Q481094) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
