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

Formal Techniques for Distributed Objects, Components, and Systems

Résumé

Book Front Matter of LNCS 9039
IFIPLNCS9039DL_2015_BookFrontmatter.pdf (116.35 Ko) Télécharger le fichier

Dates et versions

hal-01767330 , version 1 (16-04-2018)

Licence

Paternité

Identifiants

Citer

Susanne Graf, Mahesh Viswanathan. Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Springer International Publishing, LNCS-9039, 2015, Lecture Notes in Computer Science, 978-3-319-19194-2. ⟨10.1007/978-3-319-19195-9⟩. ⟨hal-01767330⟩
268 Consultations
101 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More