Skip to Main content Skip to Navigation
New interface
Conference papers

Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning

Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02323641
Contributor : Hélène Coullon Connect in order to contact the contributor
Submitted on : Monday, October 21, 2019 - 5:36:09 PM
Last modification on : Thursday, December 1, 2022 - 11:24:08 AM
Long-term archiving on: : Wednesday, January 22, 2020 - 8:41:10 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Hélène Coullon, Claude Jard, Didier Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩. ⟨hal-02323641⟩

Share

Metrics

Record views

165

Files downloads

155