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

Formal Techniques for Distributed Objects, Components, and Systems

Jorge Pérez
  • Fonction : Auteur
  • PersonId : 998096
Nobuko Yoshida
  • Fonction : Auteur
  • PersonId : 1055854

Résumé

Book Front Matter of LNCS 11535
IFIPLNCS11535DL_2019_BookFrontmatter.pdf (145.33 Ko) Télécharger le fichier

Dates et versions

hal-02313743 , version 1 (11-10-2019)

Licence

Paternité

Identifiants

Citer

Jorge Pérez, Nobuko Yoshida. Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩. ⟨hal-02313743⟩
43 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More