Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Safety Design for Simulation Models based on Formal Methods

Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02302225
Contributeur : Wassim Trojet <>
Soumis le : mardi 1 octobre 2019 - 11:34:05
Dernière modification le : mardi 12 mai 2020 - 16:58:40

Lien texte intégral

Identifiants

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⟩

Partager

Métriques

Consultations de la notice

26