Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul. Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. In Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. pages 250-259, ScitePress, 2020. [doi]
@inproceedings{SoualahHKCK20,
title = {Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL},
author = {Sohaib Soualah and Yousra Hafidi and Mohamed Khalgui and Allaoua Chaoui and Laïd Kahloul},
year = {2020},
doi = {10.5220/0009893602500259},
url = {https://doi.org/10.5220/0009893602500259},
researchr = {https://researchr.org/publication/SoualahHKCK20},
cites = {0},
citedby = {0},
pages = {250-259},
booktitle = {Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020},
editor = {Marten van Sinderen and Hans-Georg Fill and Leszek A. Maciaszek},
publisher = {ScitePress},
isbn = {978-989-758-443-5},
}