Clive H. Pygott

According to our database, Clive H. Pygott authored at least 6 papers between 1978 and 2007.

Collaborative distances:

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

2007

Formalising C and C++ for Use in High Integrity Systems.

Colin M. O'Halloran, Clive H. Pygott

Proceedings of the Safety of Systems, 2007

1997

Justifying reliability claims for a fault-detecting parallel architecture.

Clive H. Pygott, Stephen P. Wilson

J. Syst. Archit., 1997

Computer Based Support for Standards and Processes in Safety Critical Systems.

Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs

Proceedings of the 16th International Conference on Computer Safety, 1997

1996

Assessing Complex Computer Based Systems using the Goal Structuring Notation.

Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1983

CAMEO, an In-Store Relational Database Machine.

Clive H. Pygott

Proceedings of the Second International Conference On Databases, 1983

1978

Formal description and applications assessment of a Solomon type parallel architecture.

Clive H. Pygott

PhD thesis, 1978