Skip to Main content Skip to Navigation
Journal articles

System Reliability using Simulation Models and Formal Methods

Document type :
Journal articles
Complete list of metadatas

https://hal-normandie-univ.archives-ouvertes.fr/hal-02302229
Contributor : Wassim Trojet <>
Submitted on : Tuesday, October 1, 2019 - 11:36:18 AM
Last modification on : Tuesday, May 12, 2020 - 4:59:02 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

39