Statically and dynamically verifiable SLA metrics

DOI10.1007/978-3-319-30734-3_15zbMath1475.68031OpenAlexW2345430715MaRDI QIDQ2026797

Elena Giachino, Cosimo Laneve, Behrooz Nobakht, Stijn De Gouw

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_15

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Internet topics (68M11)

This page was built for publication: Statically and dynamically verifiable SLA metrics