ASM-based formal design of an adaptivity component for a Cloud system.

Paolo Arcaini Roxana-Maria Holom Elvinia Riccobene

Published in: Formal Aspects Comput. (2016)

Keyphrases

design process
computer aided
engineering design
database
databases
machine learning
case study
knowledge based systems
formal methods
graph cuts
formal model