JTorX
From MaRDI portal
Software:14158
No author found.
Related Items (4)
Generation of complete test suites from Mealy input/output transition systems ⋮ Improving active Mealy machine learning for protocol conformance testing ⋮ Model-based testing of probabilistic systems ⋮ A Conformance Testing Relation for Symbolic Timed Automata
This page was built for software: JTorX
