System Reliability using Simulation Models and Formal Methods

Wassim Trojet; Tahar Berradia

doi:10.5120/ijca2015907684

Journal Articles International Journal of Computer Applications Year : 2015

System Reliability using Simulation Models and Formal Methods

(1, 2) ,

1
2

Wassim Trojet

Function : Author
PersonId : 177667
IdHAL : wassim-trojet

Pôle Instrumentation, Informatique et Systèmes

Institut de Recherche en Systèmes Electroniques Embarqués

CV

Tahar Berradia

Function : Author

Domains

Symbolic Computation [cs.SC]

Wassim TROJET : Connect in order to contact the contributor

https://hal-normandie-univ.archives-ouvertes.fr/hal-02302229

Submitted on : Tuesday, October 1, 2019-11:36:18 AM

Last modification on : Thursday, March 10, 2022-10:46:02 AM

Dates and versions

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

Identifiers

HAL Id : hal-02302229 , version 1
DOI : 10.5120/ijca2015907684

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

COMUE-NORMANDIE IRSEEM UNIROUEN ESIGELEC

26 View

0 Download

System Reliability using Simulation Models and Formal Methods

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share