Search dblp for Publications

export results for "Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software"

 download as .bib file

@inproceedings{DBLP:conf/safecomp/BonichonCCGHHLM11,
  author       = {Richard Bonichon and
                  G{\'{e}}raud Canet and
                  Lo{\"{\i}}c Correnson and
                  Eric Goubault and
                  Emmanuel Haucourt and
                  Michel Hirschowitz and
                  S{\'{e}}bastien Labb{\'{e}} and
                  Samuel Mimram},
  title        = {Rigorous Evidence of Freedom from Concurrency Faults in Industrial
                  Control Software},
  booktitle    = {{SAFECOMP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6894},
  pages        = {85--98},
  publisher    = {Springer},
  year         = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics