机译:基于自动机再现的抽象改进循环UPPAAL扩展时间模型抽象方法
大阪大学大学院情報科学研究科;
大阪大学大学院情報科学研究科;
大阪大学大学院情報科学研究科;
Graduate School of Information Science and Technology Osaka University;
Graduate School of Information Science and Technology Osaka University;
Graduate School of Information Science and Technology Osaka University;
モデル検査; 時間オートマトン; モデル抽象; CEGAR; UPPAAL; Model Checking; Timed Automata; Model Abstraction; CEGAR; UPPAAL;
机译:基于自动机实例的抽象改进循环的UPPAAL扩展时间模型抽象方法
机译:基于时间自动机行为模型的高度可靠的实时Java代码生成方法
机译:基于人马马言语模型的高可靠实时Java代码生成方法
机译:基于领域理论的软活性物质建模基本研究,该领域已扩展到芬斯勒空间
机译:冠状动脉注入乙酰胆碱诱导的猪主,小冠状动脉痉挛模型的建立以及尼泊地洛尔,硝酸异山梨酯和布那唑嗪对模型动物的预防作用研究
机译:基于遗传算法和SRGM的开源软件最佳版本升级时机估计研究(建模与优化理论)