Treffer: Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
Title:
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
Authors:
Source:
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 60(12):1818-1822 Dec, 2011
Database:
IEEE Xplore Digital Library