Article Dans Une Revue
International Journal of Computer Applications
Année : 2017
Wassim TROJET : Connectez-vous pour contacter le contributeur
https://normandie-univ.hal.science/hal-02302225
Soumis le : mardi 1 octobre 2019-11:34:05
Dernière modification le : jeudi 10 mars 2022-10:46:02
Citer
Wassim Trojet. Safety Design for Simulation Models based on Formal Methods. International Journal of Computer Applications, 2017, 180 (8), pp.1-5. ⟨10.5120/ijca2017916058⟩. ⟨hal-02302225⟩
Collections
23
Consultations
0
Téléchargements