Pages that link to "Item:Q766162"

The following pages link to Testing for refinement in \textsf{Circus} (Q766162):

Displaying 4 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)