BibTeX record conf/icsoft/SoualahHKCK20

• > Home > conf/icsoft/SoualahHKCK20

@inproceedings{DBLP:conf/icsoft/SoualahHKCK20,
  author       = {Sohaib Soualah and
                  Yousra Hafidi and
                  Mohamed Khalgui and
                  Allaoua Chaoui and
                  La{\"{\i}}d Kahloul},
  editor       = {Marten van Sinderen and
                  Hans{-}Georg Fill and
                  Leszek A. Maciaszek},
  title        = {Formalization and Verification of Reconfigurable Discrete-event System
                  using Model Driven Engineering and Isabelle/HOL},
  booktitle    = {Proceedings of the 15th International Conference on Software Technologies,
                  {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
  pages        = {250--259},
  publisher    = {ScitePress},
  year         = {2020},
  url          = {https://doi.org/10.5220/0009893602500259},
  doi          = {10.5220/0009893602500259},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/SoualahHKCK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}