Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.014 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2017 | Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs | Hierons, RM; Turker, UC |
2017 | How to manage a conference special issue | Hierons, RM |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
16-Jan-2017 | Testing from Partial Finite State Machines without Harmonised Traces | Hierons, RM |
22-Mar-2017 | Implementation relations and probabilistic schedulers in the distributed test architecture | Hierons, RM; Nunez, M |