Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).

Matteo Camilli, Carlo Bellettini, Lorenzo Capra

Browse the full SEFM paper archive.