机译:具有模型检查功能的自适应体系结构演变:一种软件控制论方法
机译:EMCDM:通过数据挖掘进行有效的模型检查,以验证通过体系结构样式指定的复杂软件系统
机译:模型检查软件架构技术的分类和比较
机译:设计决策和组件模型之间基于约束的一致性检查,以支持软件体系结构的演进
机译:使用软件架构模型的软件架构设计的改进方法
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:动态软件体系结构统计模型检查的逻辑
机译:使用模型检查验证关键任务软件的设计和实现