| |
| 2006 | ||
|---|---|---|
| 3 | EE | Ruth Hardy: Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. Electr. Notes Theor. Comput. Sci. 151(1): 111-125 (2006) |
| 2004 | ||
| 2 | EE | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin: Design Verification for Control Engineering. IFM 2004: 21-35 |
| 2003 | ||
| 1 | EE | Richard J. Boulton, Ruth Hardy, Ursula Martin: A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC 2003: 113-125 |
| 1 | Richard J. Boulton | [1] [2] |
| 2 | Hanne Gottliebsen | [2] |
| 3 | Tom Kelsey | [2] |
| 4 | Ursula Martin | [1] [2] |