System Reliability using Simulation Models and Formal Methods

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02302229
Contributeur : Wassim Trojet <>
Soumis le : mardi 1 octobre 2019 - 11:36:18
Dernière modification le : mercredi 2 octobre 2019 - 01:28:53

Lien texte intégral

Identifiants

Citation

Wassim Trojet, Tahar Berradia. System Reliability using Simulation Models and Formal Methods. International Journal of Computer Applications, Foundation of Computer Science, 2015, 132 (17), pp.1-8. ⟨10.5120/ijca2015907684⟩. ⟨hal-02302229⟩

Partager

Métriques

Consultations de la notice

14