- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 3 |      | 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] |