David J. Tombs

According to our database, David J. Tombs authored at least 4 papers between 1996 and 2000.

Collaborative distances:

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

2000

Deriving Quantified Safety Requirements in Complex Systems.

Peter A. Lindsay, John A. McDermid, David J. Tombs

Proceedings of the Computer Safety, 2000

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

Using compliance notation to verify Ada tasking.

David J. Tombs

Proceedings of the Eighth International Workshop on Real-Time Ada, 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