Skip to Main content Skip to Navigation
Journal articles

Safety Design for Simulation Models based on Formal Methods

Wassim Trojet 1, 2 
Document type :
Journal articles
Complete list of metadata

https://hal-normandie-univ.archives-ouvertes.fr/hal-02302225
Contributor : Wassim TROJET Connect in order to contact the contributor
Submitted on : Tuesday, October 1, 2019 - 11:34:05 AM
Last modification on : Thursday, March 10, 2022 - 10:46:02 AM

Links full text

Identifiers

Citation

Wassim Trojet. Safety Design for Simulation Models based on Formal Methods. International Journal of Computer Applications, Foundation of Computer Science, 2017, 180 (8), pp.1-5. ⟨10.5120/ijca2017916058⟩. ⟨hal-02302225⟩

Share

Metrics

Record views

17