机译:MAPE-K形式模板,用于严格设计自适应系统的行为
Linnaeus Univ, Dept Media Technol, SE-35195 Vaxjo, Sweden;
Linnaeus Univ, Dept Comp Sci, SE-35195 Vaxjo, Sweden;
Design; Verification Formal templates; MAPE-K; self-adaptation;
机译:分散控制的自适应系统的形式化设计与验证
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:基于ROS的模糊自适应足球机器人行为决策系统设计
机译:整合自适应系统中行为和结构适应的形式化模型
机译:智能家居智能自适应系统的设计与仿真
机译:难道儿童福利和行为健康机构之间的正式集成在从事与两个系统改进放置稳定性为青少年结果?
机译:验证分散自适应系统的随机行为:a 基于形式化建模和仿真的方法