Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSCS 2003: Canberra, ACT, Australia
- Peter A. Lindsay, Anthony Cant:
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. CRPIT 33, Australian Computer Society 2004
- Iain Bate, Richard Hawkins, John A. McDermid:
A Contract-based Approach to Designing Safe Systems. 25-36 - Philippa Conmy, Mark Nicholson, John A. McDermid:
Safety Assurance Contracts for Integrated Modular Avionics. 69-78 - Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel:
A New Component Concept for Fault Trees. 37-46 - Peter B. Ladkin, Jörn Stuphorn:
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. 3-23 - John Murdoch, Graham Clark, Antony Powell, Paul Caseley:
Measuring Safety: Applying PSM to the System Safety Domain. 47-55 - Richard M. Robinson, Kevin J. Anderson:
SIL Rating Fire Protection Equipment. 89-97 - Jason Smith, Selwyn Russell, Mark Looi:
Security as a Safety Issue in Rail Communications. 79-88 - Rob Weaver, Jane Fenn, Tim Kelly:
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. 57-67
a service of 
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.
last updated on 2023-11-30 21:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
