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

Matteo Camilli Carlo Bellettini Lorenzo Capra

Published in: SEFM Workshops (2017)

Keyphrases

databases
design methodology
machine learning
user interface
multiresolution
data model
design process
optimal design
face verification
formal methods