Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.01 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|
|2017||Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs||Hierons, RM; Turker, UC|
|2010||Generating a checking sequence with a minimum number of reset transitions||Hierons, RM; Ural, H|
|2013||Verifying and comparing finite state machines for systems that have distributed interfaces||Hierons, RM|
|2010||Reaching and distinguishing states of distributed systems||Hierons, RM|
|2016||Parallel algorithms for generating harmonised state identifiers and characterising sets||Hierons, RM; Turker, U|