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 : 2021

Formal Techniques for Distributed Objects, Components, and Systems

Résumé

Book Front Matter of LNCS 12719
IFIPLNCS12719DL_2021_BookFrontmatter.pdf (113.61 Ko) Télécharger le fichier

Dates et versions

hal-03740268 , version 1 (29-07-2022)

Licence

Paternité

Identifiants

Citer

Kirstin Peters, Tim A.C. Willemse. Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩. ⟨hal-03740268⟩
13 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More