External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL

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]

Authors

Sohaib Soualah

This author has not been identified. Look up 'Sohaib Soualah' in Google

Yousra Hafidi

This author has not been identified. Look up 'Yousra Hafidi' in Google

Mohamed Khalgui

This author has not been identified. Look up 'Mohamed Khalgui' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google

Laïd Kahloul

This author has not been identified. Look up 'Laïd Kahloul' in Google
runs on