Formal Techniques for Networked and Distributed Systems - FORTE 2003

DOI10.1007/11965zbMath1279.68027OpenAlexW2501695616MaRDI QIDQ5900957

Robert M. Hierons, Hasan Ural

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

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

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

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2003