BibTeX record conf/medi/AttiogbeR22

• > Home > conf/medi/AttiogbeR22

@inproceedings{DBLP:conf/medi/AttiogbeR22,
  author       = {J. Christian Attiogb{\'{e}} and
                  J{\'{e}}r{\^{o}}me Rocheteau},
  editor       = {Philippe Fournier{-}Viger and
                  Ahmed Hassan Yousef and
                  Ladjel Bellatreche and
                  Ahmed Awad and
                  Abderrahim Ait Wakrime and
                  Yassine Ouhammou and
                  Idir A{\"{\i}}t{-}Sadoune},
  title        = {Architectural Invariants and Correctness of IoT-Based Systems},
  booktitle    = {Advances in Model and Data Engineering in the Digitalization Era -
                  {MEDI} 2022 Short Papers and {DETECT} 2022 Workshop Papers, Cairo,
                  Egypt, November 21-24, 2022, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1751},
  pages        = {75--88},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-23119-3\_6},
  doi          = {10.1007/978-3-031-23119-3\_6},
  timestamp    = {Fri, 14 Apr 2023 23:05:44 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/AttiogbeR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}