机译:工业设备之间交互行为的形式化方法的集成框架
Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China|Univ Chinese Acad Sci, Beijing 100190, Peoples R China;
Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China|Univ Chinese Acad Sci, Beijing 100190, Peoples R China;
Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China|Univ Chinese Acad Sci, Beijing 100190, Peoples R China;
Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China|Univ Chinese Acad Sci, Beijing 100190, Peoples R China;
Qingdao Univ, Qingdao 266071, Peoples R China;
Formal methods; Formal verification; Model checking; Interaction behaviors among industrial equipments;
机译:在基于正式组件的系统中模块化行为和体系结构横切关注点-应用于行为交互优先级框架
机译:核电厂FLEX设备存储建筑物的风险综合设计(I-RID)方法论框架和计算应用
机译:动物与灌木促进复合物相互作用的功能评估:正式的综合和概念框架
机译:目标交互推理的综合形式框架
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:穷举搜索后交互形式测试的正式框架及其在MDR和MDR-PDT中的应用
机译:基于形式的基于组件的系统中的模块化行为和架构横切问题 - 在行为交互优先框架中的应用
机译:多agent交互和行为的动态控制和形式化模型