DBLP Record 'conf/prdc/BlackK08'

BibTeX

@inproceedings{DBLP:conf/prdc/BlackK08,
  author    = {Jennifer Black and
               Philip Koopman},
  title     = {Indirect Control Path Analysis and Goal Coverage Strategies
               for Elaborating System Safety Goals in Composite Systems},
  booktitle = {PRDC},
  year      = {2008},
  pages     = {184-191},
  ee        = {http://dx.doi.org/10.1109/PRDC.2008.29},
  crossref  = {DBLP:conf/prdc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/prdc/2008,
  title     = {14th IEEE Pacific Rim International Symposium on Dependable
               Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan},
  booktitle = {PRDC},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}