Software Engineering; Design Patterns; Model Checking; Formal Methods; Models; Mining;
机译:一种提高复杂系统可靠性的方法:体系结构设计方法和模型检查的综合
机译:基于运行时模型的实时嵌入式系统检查的设计模式
机译:具有复杂内部设计的伺服气动驱动系统的改进的非线性建模与识别方法,用于高精度运动控制应用
机译:模型检查可提高OO系统中设计模式实例识别的精度
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:模型检查以提高OO系统设计模式实例识别的精度