辫子带来帮助
发表于 2025-3-30 08:34:41
http://reply.papertrans.cn/17/1636/163519/163519_51.png
刀锋
发表于 2025-3-30 14:05:51
http://reply.papertrans.cn/17/1636/163519/163519_52.png
harangue
发表于 2025-3-30 16:48:20
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
发表于 2025-3-30 23:00:47
Model Checking Adaptive Software with Featured Transition Systems