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

Stephan Merz; Jun Pang

doi:10.1007/978-3-319-11737-9

Proceedings/Recueil Des Communications Année : 2014

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

(1) , (2)

1
2

Stephan Merz

Fonction : Auteur
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Modeling and Verification of Distributed Algorithms and Systems

Jun Pang

Fonction : Auteur
PersonId : 759200
ORCID : 0000-0002-8268-413X

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 11 septembre 2023-17:41:18

Dates et versions

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

Identifiants

HAL Id : hal-01098238 , version 1
DOI : 10.1007/978-3-319-11737-9

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

69 Consultations

0 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager