Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014) - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2014

Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)

Stephan Merz
Modeling and Verification of Distributed Algorithms and Systems
Jun Pang
Faculty of Science, Technology and Communication [Luxembourg]

Domaines

Logique en informatique [cs.LO] Génie logiciel [cs.SE]

Stephan Merz  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01098238

Soumis le : mardi 23 décembre 2014-14:00:26

Dernière modification le : lundi 2 décembre 2024-17:46:02

Fichier non déposé

Dates et versions

hal-01098238 , version 1 (23-12-2014)

Identifiants

Citer

Stephan Merz, Jun Pang. Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014). Stephan Merz; Jun Pang. 16th International Conference on Formal Engineering Methods - ICFEM 2014, Nov 2014, Luxembourg, Luxembourg. 8829, Springer, pp.460, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-11737-9. ⟨10.1007/978-3-319-11737-9⟩. ⟨hal-01098238⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
74 Consultations
0 Téléchargements

Altmetric

Partager

More