Skip to Main content Skip to Navigation
Journal articles

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02468473
Contributor : Christian Attiogbé Connect in order to contact the contributor
Submitted on : Wednesday, February 5, 2020 - 6:51:12 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM

Links full text

Identifiers

Citation

Pascal Andre, Christian Attiogbé, Arnaud Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Computer Science and Information Systems, ComSIS Consortium, 2019, pp.42-42. ⟨10.2298/CSIS190501042A⟩. ⟨hal-02468473⟩

Share

Metrics

Record views

21