Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

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

Domaines

Langage de programmation [cs.PL] Génie logiciel [cs.SE] Modélisation et simulation Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
main.pdf (528.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hélène Coullon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02323641

Soumis le : lundi 21 octobre 2019-17:36:09

Dernière modification le : mardi 17 septembre 2024-15:59:06

Archivage à long terme le : mercredi 22 janvier 2020-20:41:10

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES GRID5000 UNAM INRIA2 TDS-MACS LS2N LS2N-STR LS2N-STACK IMT-ATLANTIQUE SILECS NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
235 Consultations
243 Téléchargements

Altmetric

Partager

More