| |
| 2005 | ||
|---|---|---|
| 2 | EE | Michael R. Smith, Andrew Kwan, Alan Martin, James Miller: E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects. XP 2005: 145-153 |
| 2001 | ||
| 1 | EE | Alan Martin: Adequate Sets of Temporal Connectives in CTL. Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 1 | Andrew Kwan | [2] |
| 2 | James Miller | [2] |
| 3 | Michael R. Smith | [2] |