Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
From MaRDI portal
Publication:5280488
DOI10.1109/TC.2010.238zbMath1368.68078OpenAlexW2103493610MaRDI QIDQ5280488
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
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (1)
This page was built for publication: Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports