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