Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.011 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2010 | Canonical finite state machines for distributed systems | Hierons, RM |
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 |