Formal Techniques for Networked and Distributed Systems - FORTE 2003
From MaRDI portal
Publication:5900957
DOI10.1007/11965zbMath1279.68027MaRDI 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
68M15: Reliability, testing and fault tolerance of networks and computer systems
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