Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning - LS2N - équipe Stack Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Dates et versions

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

Identifiants

Citer

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⟩
200 Consultations
199 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More