Safety Design for Simulation Models based on Formal Methods - Archive ouverte HAL Access content directly
Journal Articles International Journal of Computer Applications Year : 2017

Safety Design for Simulation Models based on Formal Methods

Domains

Computer Science [cs] Symbolic Computation [cs.SC]

Wassim TROJET  : Connect in order to contact the contributor

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

Submitted on : Tuesday, October 1, 2019-11:34:05 AM

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

Consult the full text

Dates and versions

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

Identifiers

Cite

Wassim Trojet. Safety Design for Simulation Models based on Formal Methods. International Journal of Computer Applications, 2017, 180 (8), pp.1-5. ⟨10.5120/ijca2017916058⟩. ⟨hal-02302225⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

COMUE-NORMANDIE IRSEEM UNIROUEN ESIGELEC
19 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More