BibTeX record conf/scs/ChinneckPM04

• > Home > conf/scs/ChinneckPM04

@inproceedings{DBLP:conf/scs/ChinneckPM04,
  author       = {Paul Chinneck and
                  David John Pumfrey and
                  John A. McDermid},
  editor       = {Anthony Cant},
  title        = {The {HEAT/ACT} Preliminary Safety Case: {A} case study in the use
                  of Goal Structuring Notation},
  booktitle    = {Safety Critical Systems and Software 2004, Ninth Australian Workshop
                  on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia,
                  October 2004},
  series       = {{CRPIT}},
  volume       = {47},
  pages        = {33--41},
  publisher    = {Australian Computer Society},
  year         = {2004},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV47Chinneck.html},
  timestamp    = {Sat, 25 Feb 2023 21:36:28 +0100},
  biburl       = {https://dblp.org/rec/conf/scs/ChinneckPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}