Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports

DOI10.1109/TC.2010.238zbMath1368.68078MaRDI QIDQ5280488

Robert M. Hierons

Publication date: 27 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2010.238

Mathematics Subject Classification ID

68Q45: Formal languages and automata

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

Related Items

Controllable Test Cases for the Distributed Test Architecture