Peter K. D. Froome

Publication Activity (10 Years)

Years Active: 1986-2005
Publications (10 Years): 0

Publications

Peter K. D. Froome
Independent Safety Assessment of Safety Arguments. SSS (2005)
Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones
Story. SAFECOMP (1999)
Richard C. Moore, Peter K. D. Froome
MURAL and SPECBOX. VDM Europe (1) (1991)
Peter K. D. Froome, Brian Monahan
The role of mathematically formal methods in the development and assessment of safety-critical systems. Microprocess. Microsystems 12 (10) (1988)
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) (1986)