Peter K. D. Froome

According to our database, Peter K. D. Froome authored at least 5 papers between 1986 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Independent Safety Assessment of Safety Arguments.

Peter K. D. Froome

Proceedings of the Constituents of Modern System-safety Thinking, 2005

1999

The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT^TM Story.

Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones

Proceedings of the Computer Safety, 1999

1991

MURAL and SPECBOX.

Richard C. Moore, Peter K. D. Froome

Proceedings of the VDM '91, 1991

1988

The role of mathematically formal methods in the development and assessment of safety-critical systems.

Peter K. D. Froome, Brian Monahan

Microprocess. Microsystems, 1988

1986

The Application of Formal Methods to the Assessment of High Integrity Software.

Robin E. Bloomfield, Peter K. D. Froome

IEEE Trans. Software Eng., 1986