Titlebook: Assurances for Self-Adaptive Systems; Principles, Models, Javier Cámara,Rogério Lemos,Antónia Lopes Book 2013 Springer-Verlag Berlin Heide

辮子帶來(lái)幫助

刀鋒

harangue

Assurance of Self-adaptive Controllers for the Cloudhe flexibility and scope of the system adaptability, and to the accuracy of the assurance results. We group control models in three main classes that depend on the kind of supported assurance that may be checked either at design or runtime. Controllers that support assurance of the control models at

GLADE

Model Checking Adaptive Software with Featured Transition Systems