BibTeX record conf/sbcars/JacobsS14

download as .bib file

@inproceedings{DBLP:conf/sbcars/JacobsS14,
  author       = {Jaco Jacobs and
                  Andrew C. Simpson},
  title        = {On the Formal Interpretation of SysML Blocks Using a Safety Critical
                  Case Study},
  booktitle    = {Eighth Brazilian Symposium on Software Components, Architectures and
                  Reuse, {SBCARS} 2014, Macei{\'{o}}, Alagoas, Brazil, September
                  29-30, 2014},
  pages        = {95--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SBCARS.2014.14},
  doi          = {10.1109/SBCARS.2014.14},
  timestamp    = {Mon, 26 Jun 2023 20:47:01 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcars/JacobsS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics