Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.009 seconds).
|2017||Implementation relations and probabilistic schedulers in the distributed test architecture||Hierons, RM; Nunez, M|
|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|