Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning - Archive ouverte HAL Access content directly
Conference Papers Year :

Dates and versions

hal-02323641 , version 1 (21-10-2019)

Identifiers

Cite

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⟩
176 View
168 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More