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