Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

von Soualah, Sohaib
Veröffentlicht in ICSOFT (15. : 2020 : Online) Software Technologies (2021)

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

von Soualah, Sohaib
Veröffentlicht in ICSOFT (15. : 2020 : Online) ICSOFT 2020 (2020)

Efficient Verification of Reconfigurable Discrete-Event System using Isabelle/Hol Theorem Prover

von Soualah, Sohaib
Veröffentlicht in European Simulation and Modelling Conference (34. : 2020 : Online) Modelling and simulation 2020 (2020)

Formal Verification of Reconfigurable Discrete-Event Systems using ISABELLE/HOL Theorem Prover on Cloud Environment

von Soualah, Sohaib
Veröffentlicht in European Simulation and Modelling Conference (35. : 2021 : Online) Modelling and Simulation 2021 (2021)