Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports

DOI10.1109/TC.2010.238zbMATH Open1368.68078OpenAlexW2103493610MaRDI QIDQ5280488FDOQ5280488

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

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cited In (1)

• Controllable Test Cases for the Distributed Test Architecture

This page was built for publication: Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5280488)