Browsing by Author Núñez, M
Showing results 2 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |