Formal Techniques for Distributed Objects, Components, and Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2018

Formal Techniques for Distributed Objects, Components, and Systems

Résumé

Book Front Matter of LNCS 10854
IFIPLNCS10854DL_2018_BookFrontmatter.pdf (114.02 Ko) Télécharger le fichier

Dates et versions

hal-01824818 , version 1 (27-06-2018)

Licence

Paternité

Identifiants

Citer

Christel Baier, Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩. ⟨hal-01824818⟩
202 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More