BibTeX record journals/corr/abs-1807-11570

• > Home > journals/corr/abs-1807-11570

@inproceedings{DBLP:journals/corr/abs-1807-11570,
  author       = {Pujie Han and
                  Zhengjun Zhai and
                  Brian Nielsen and
                  Ulrik Nyman},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {A Compositional Approach for Schedulability Analysis of Distributed
                  Avionics Systems},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {39--51},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.4},
  doi          = {10.4204/EPTCS.272.4},
  timestamp    = {Sat, 30 Sep 2023 10:08:09 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-11570.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}