BibTeX record conf/safecomp/Azevedo0WPA13

download as .bib file

@inproceedings{DBLP:conf/safecomp/Azevedo0WPA13,
  author       = {Lu{\'{\i}}s Silva Azevedo and
                  David Parker and
                  Martin Walker and
                  Yiannis Papadopoulos and
                  Rui Esteves Araujo},
  editor       = {Jean{-}Charles Fabre and
                  Philippe Qu{\'{e}}r{\'{e}} and
                  Mario Trapp},
  title        = {Automatic Decomposition of Safety Integrity Levels: Optimization by
                  Tabu Search},
  booktitle    = {{SAFECOMP} 2013 - Workshop {CARS} (2nd Workshop on Critical Automotive
                  applications : Robustness {\&} Safety) 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-CARS/hal-00848213},
  timestamp    = {Tue, 21 Jul 2020 00:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Azevedo0WPA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.