Searching for "Equivalences and Preorders of Transition Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Testing Equivalence as a Bisimulation Equivalence
- … how the testing equivalences and preorders on transition systems may be interpreted as instances…
- Cited by 45 (10 self) – Add To MetaCart
-
TorX: Automated Model Based Testing - Côte de Resyste
- … has its roots in the theory of testing equivalences and preorders for transition systems [9, 6…
- Cited by 1 (0 self) – Add To MetaCart
-
Côte de Resyste - Automated Model Based Testing
- … in the theory of testing equivalences and preorders for transition systems [8], [4]. Formally, the definition…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 3.
