BibTeX record conf/safecomp/VerhulstVSF13

• > Home > conf/safecomp/VerhulstVSF13

@inproceedings{DBLP:conf/safecomp/VerhulstVSF13,
  author       = {Eric Verhulst and
                  Jos{\'{e}} Luis de la Vara and
                  Bernhard H. C. Sputh and
                  Vincenzo De Florio},
  editor       = {Alejandra Ruiz and
                  Tim Kelly and
                  Jos{\'{e}} Luis de la Vara},
  title        = {{ARRL:} {A} Criterion for Composable Safety and Systems Engineering},
  booktitle    = {{SAFECOMP} 2013 - Workshop {SASSUR} (Next Generation of System Assurance
                  Approaches for Safety-Critical Systems) of the 32nd International
                  Conference on Computer Safety, Reliability and Security, Toulouse,
                  France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848521},
  timestamp    = {Tue, 21 Jul 2020 00:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/VerhulstVSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}