Use filters to refine the search results.
Results 1-6 of 6 (Search time: 0.006 seconds).
|2013||Verifying and comparing finite state machines for systems that have distributed interfaces||Hierons, RM|
|2014||Timed Implementation Relations for the Distributed Test Architecture||Hierons, RM; Merayo, MG; Nunez, M|
|2012||Using schedulers to test probabilistic distributed systems||Hierons, RM; Núñez, M|
|2010||Reaching and distinguishing states of distributed systems||Hierons, RM|
|2017||Implementation relations and probabilistic schedulers in the distributed test architecture||Hierons, RM; Nunez, M|
|2017||Passive Testing with Asynchronous Communications and Timestamps||Merayo, MG; Hierons, RM; Nunez, M|