Clive H. Pygott

Publication Activity (10 Years)

Years Active: 1983-2007
Publications (10 Years): 0

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Colin M. O'Halloran, Clive H. Pygott
Formalising C and C++ for Use in High Integrity Systems. SSS (2007)
Clive H. Pygott, Stephen P. Wilson
Justifying reliability claims for a fault-detecting parallel architecture. J. Syst. Archit. 43 (10) (1997)
Stephen P. Wilson, John Alexander McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs
Computer Based Support for Standards and Processes in Safety Critical Systems. SAFECOMP (1997)
Stephen P. Wilson, John Alexander McDermid, Clive H. Pygott, David J. Tombs
Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS (1996)
Clive H. Pygott
CAMEO, an In-Store Relational Database Machine. ICOD (1983)