Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/scs/scs2003.bht:"
@proceedings{DBLP:conf/scs/2003, editor = {Peter A. Lindsay and Anthony Cant}, title = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, publisher = {Australian Computer Society}, year = {2004}, timestamp = {Thu, 14 Apr 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/BateHM03, author = {Iain Bate and Richard Hawkins and John A. McDermid}, editor = {Peter A. Lindsay and Anthony Cant}, title = {A Contract-based Approach to Designing Safe Systems}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {25--36}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Bate.html}, timestamp = {Mon, 30 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scs/BateHM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/ConmyNM03, author = {Philippa Conmy and Mark Nicholson and John A. McDermid}, editor = {Peter A. Lindsay and Anthony Cant}, title = {Safety Assurance Contracts for Integrated Modular Avionics}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {69--78}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Conmy.html}, timestamp = {Mon, 30 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scs/ConmyNM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/KaiserLM03, author = {Bernhard Kaiser and Peter Liggesmeyer and Oliver M{\"{a}}ckel}, editor = {Peter A. Lindsay and Anthony Cant}, title = {A New Component Concept for Fault Trees}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {37--46}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Kaiser.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/KaiserLM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/LadkinS03, author = {Peter B. Ladkin and J{\"{o}}rn Stuphorn}, editor = {Peter A. Lindsay and Anthony Cant}, title = {Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {3--23}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Ladkin.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/LadkinS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/MurdochCPC03, author = {John Murdoch and Graham Clark and Antony Powell and Paul Caseley}, editor = {Peter A. Lindsay and Anthony Cant}, title = {Measuring Safety: Applying {PSM} to the System Safety Domain}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {47--55}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Murdoch.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/MurdochCPC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/RobinsonA03, author = {Richard M. Robinson and Kevin J. Anderson}, editor = {Peter A. Lindsay and Anthony Cant}, title = {{SIL} Rating Fire Protection Equipment}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {89--97}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Robinson.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/RobinsonA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/SmithRL03, author = {Jason Smith and Selwyn Russell and Mark Looi}, editor = {Peter A. Lindsay and Anthony Cant}, title = {Security as a Safety Issue in Rail Communications}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {79--88}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Smith.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/SmithRL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scs/WeaverFK03, author = {Rob Weaver and Jane Fenn and Tim Kelly}, editor = {Peter A. Lindsay and Anthony Cant}, title = {A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments}, booktitle = {Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003}, series = {{CRPIT}}, volume = {33}, pages = {57--67}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV33Weaver.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scs/WeaverFK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.