System Reliability using Simulation Models and Formal Methods - Normandie Université Access content directly
Journal Articles International Journal of Computer Applications Year : 2015

Dates and versions

hal-02302229 , version 1 (01-10-2019)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More