Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Tiziana Margaria, Bernhard Steffen (eds.)
“Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles”, pages 205-223
Lecture Notes in Computer Science 12477
Springer International Publishing, Cham
October 2020
Journals & Series
Events
- 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020) — 26/10/2020–30/10/2020