default search action

combined dblp search
author search
venue search
publication search

ask others

David J. Tombs

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2000
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LindsayMT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LindsayMT00
Peter A. Lindsay, John A. McDermid, David J. Tombs:
Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/Tombs97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/Tombs97
David J. Tombs:
Using compliance notation to verify Ada tasking. IRTAW 1997: 83-87
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/WilsonMKPT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/WilsonMKPT97
Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs:
Computer Based Support for Standards and Processes in Safety Critical Systems. SAFECOMP 1997: 197-209
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WilsonMPT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WilsonMPT96
Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs:
Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS 1996: 498-505

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.