| |
| 1999 | ||
|---|---|---|
| 3 | EE | Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones: The Development of a Commercial ``Shrink-Wrapped Application'' to Safety Integrity Level 2: The DUST-EXPERTTM Story. SAFECOMP 1999: 216-225 |
| 1991 | ||
| 2 | Richard Moore, Peter K. D. Froome: MURAL and SPECBOX. VDM Europe (1) 1991: 672-674 | |
| 1986 | ||
| 1 | Robin E. Bloomfield, Peter K. D. Froome: The Application of Formal Methods to the Assessment of High Integrity Software. IEEE Trans. Software Eng. 12(9): 988-993 (1986) | |
| 1 | Robin E. Bloomfield | [1] |
| 2 | Tim Clement | [3] |
| 3 | Ian Cottam | [3] |
| 4 | Claire Jones | [3] |
| 5 | Richard Moore | [2] |