Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.001 seconds).
|2010||Canonical finite state machines for distributed systems||Hierons, RM|
|2011||Controllable testing from nondeterministic finite state machines with multiple ports||Hierons, RM|
|2016||Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences||Hierons, RM; Turker, UC|
|2013||Verifying and comparing finite state machines for systems that have distributed interfaces||Hierons, RM|