BibTeX record conf/peccs/OueslatiMKA15

• > Home > conf/peccs/OueslatiMKA15

@inproceedings{DBLP:conf/peccs/OueslatiMKA15,
  author       = {Raja Oueslati and
                  Olfa Mosbahi and
                  Mohamed Khalgui and
                  Samir Ben Ahmed},
  editor       = {C{\'{e}}sar Benavente{-}Peces and
                  Olivier Paillet and
                  Andreas Ahrens},
  title        = {Modeling and Verification of B-based Distributed Reconfigurable Control
                  Systems},
  booktitle    = {{PECCS} 2015 - Proceedings of the 5th International Conference on
                  Pervasive and Embedded Computing and Communication Systems, ESEO,
                  Angers, Loire Valley, France, 11-13 February, 2015},
  pages        = {124--131},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005244601240131},
  doi          = {10.5220/0005244601240131},
  timestamp    = {Mon, 03 Jan 2022 22:13:58 +0100},
  biburl       = {https://dblp.org/rec/conf/peccs/OueslatiMKA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}