Formal Techniques for Networked and Distributed Systems - FORTE 2003
From MaRDI portal
Publication:5900957
DOI10.1007/11965zbMath1279.68027OpenAlexW2501695616MaRDI QIDQ5900957
Publication date: 26 May 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11965
Related Items
On the synthesis of adaptive tests for nondeterministic finite state machines, Applying adaptive test cases to nondeterministic implementations, Minimizing the number of inputs while applying adaptive test cases, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM