Overview :
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings - Lecture Notes in Computer Science 10321 by Ahmed Bouajjani Details
This book represents the proceedings of the IFIP WG 6.1 on Formal Technologies of Distributed Objects, Components and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part…