David J. Tombs

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Peter A. Lindsay, John Alexander McDermid, David J. Tombs
Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP (2000)
David J. Tombs
Using compliance notation to verify Ada tasking. IRTAW (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)