TY  - RPRT
TI  - Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
AU  - Domenico Cotroneo
AU  - Luigi De Simone
AU  - Pietro Liguori
AU  - Roberto Natella
AU  - Angela Scibelli
PY  - 2020
DO  - 10.1007/978-3-030-76352-7_19
UR  - https://arxiv.org/abs/2010.06607
ID  - 2010.06607
ER  -