Browsing by Author Núñez, M
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
2012 | Implementation relations and test generation for systems with distributed interfaces | Hierons, RM; Merayo, MG; Núñez, M |
2009 | Testing timed systems modeled by stream X-machines | Merayo, MG; Núñez, M; Hierons, RM |
2012 | Using schedulers to test probabilistic distributed systems | Hierons, RM; Núñez, M |