机译:将SysML状态机图的转换规则转换为CSP#,以进行正式模型检查
Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan;
Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan;
Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan;
System LSI Research Center, Kyushu University, Fukuoka, Japan;
Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan;
SysML state machine diagrams; Formal semantics; Model checking; CSP#;
机译:SysML需求图的正式模型
机译:通过模型检查和形式设计规则检查扩展静态验证
机译:数据流程图规则的正式模型
机译:通过CSP#进行SysML状态机图的形式化和模型检查
机译:歧义的形式化模型及其在机器翻译中的应用。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:自动重排规则的生成和重排规则在英语-缅甸机器翻译的随机重排模型中的应用
机译:模糊度的形式化模型及其在机器翻译中的应用。