BibTeX record journals/dafes/GiannopoulouPSH18

download as .bib file

@article{DBLP:journals/dafes/GiannopoulouPSH18,
  author       = {Georgia Giannopoulou and
                  Peter Poplavko and
                  Dario Socci and
                  Pengcheng Huang and
                  Nikolay Stoimenov and
                  Paraskevas Bourgos and
                  Lothar Thiele and
                  Marius Bozga and
                  Saddek Bensalem and
                  Sylvain Girbal and
                  Madeleine Faug{\`{e}}re and
                  Romain Soulat and
                  Beno{\^{\i}}t Dupont de Dinechin},
  title        = {DOL-BIP-Critical: a tool chain for rigorous design and implementation
                  of mixed-criticality multi-core systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {22},
  number       = {1-2},
  pages        = {141--181},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10617-018-9206-3},
  doi          = {10.1007/S10617-018-9206-3},
  timestamp    = {Fri, 02 Oct 2020 14:42:52 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/GiannopoulouPSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics