BibTeX record conf/modelsward/HeniaRSGP14

download as .bib file

@inproceedings{DBLP:conf/modelsward/HeniaRSGP14,
  author       = {Rafik Henia and
                  Laurent Rioux and
                  Nicolas Sordon and
                  Gerald{-}Emmanuel Garcia and
                  Marco Panunzio},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Joaquim Filipe and
                  Rui C{\'{e}}sar das Neves},
  title        = {Integrating Model-based Formal Timing Analysis in the Industrial Development
                  Process of Satellite On-Board Software},
  booktitle    = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
                  on Model-Driven Engineering and Software Development, Lisbon, Portugal,
                  7 - 9 January, 2014},
  pages        = {619--625},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0004874306190625},
  doi          = {10.5220/0004874306190625},
  timestamp    = {Wed, 11 Aug 2021 17:02:31 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/HeniaRSGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics