Riad Helal, Akram Seghiri, Faiza Belala. An Integrated Approach to Formal Analyze Cyber Physical Systems. In Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel, editors, Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022. Volume 3333 of CEUR Workshop Proceedings, pages 92-97, CEUR-WS.org, 2022. [doi]
Abstract is missing.