机译:自动正式验证企业架构的方法
National Research University “Higher School of Economics ” Nizhni Novgorod Russia;
National Research University “Higher School of Economics ” Nizhni Novgorod Russia;
National Research University “Higher School of Economics ” Nizhni Novgorod Russia;
National Research University “Higher School of Economics ” Nizhni Novgorod Russia;
Alloy Analyzer; Archi; ArchiMate; Consistency Analysis; IT-Business Alignment; SAM; TOGAF;
机译:企业架构自动形式验证的方法
机译:企业体系结构创建的方法论及其在农村发展中的作用
机译:企业体系结构创建的方法论及其在农村发展中的作用
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:使用正式验证方法分析企业架构模型的一致性
机译:自动程序验证III:验证程序的方法,