Communication Dans Un Congrès
Année : 2014
MAAMAR EL AMINE HAMRI : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-03555523
Soumis le : jeudi 3 février 2022-16:30:32
Dernière modification le : vendredi 22 mars 2024-18:24:03
Citer
Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study. 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Aug 2014, Vienna, France. pp.421-426, ⟨10.5220/0005037904210426⟩. ⟨hal-03555523⟩
6
Consultations
0
Téléchargements