Search
Add filters:
Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.007 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2011 | New ideas and emerging research: evaluating prediction system accuracy | Shepperd, M |
2011 | Group project work from the outset: an in-depth teaching experience report | Shepperd, M |
2010 | Canonical finite state machines for distributed systems | Hierons, RM |
2010 | The impact of varying memory region number on RTSJ execution time | Hamza, H |
2010 | Generating a checking sequence with a minimum number of reset transitions | Hierons, RM; Ural, H |
2010 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem | Kalaji, AS; Hierons, RM; Swift, S |
2010 | A trajectory-based strict semantics for program slicing | Barraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L |
2010 | Reaching and distinguishing states of distributed systems | Hierons, RM |