Formal Techniques for Distributed Objects, Components, and Systems - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Books Year : 2019

Formal Techniques for Distributed Objects, Components, and Systems

Jorge Pérez
  • Function : Author
  • PersonId : 998096
Nobuko Yoshida
  • Function : Author
  • PersonId : 1055854

Abstract

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

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
77 Download

Altmetric

Share

Gmail Facebook X LinkedIn More