System Reliability using Simulation Models and Formal Methods - Normandie Université Accéder directement au contenu
Article Dans Une Revue International Journal of Computer Applications Année : 2015

System Reliability using Simulation Models and Formal Methods

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More