搜索到 篇“ MARTE “的相关文章

相关作者

黄志球
作品数：430被引量：1,080H指数：15
供职机构：南京航空航天大学
研究主题：抽象语法树 WEB服务 隐私 代码 本体
朱梅霞
作品数：14被引量：16H指数：2
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
胡军
作品数：109被引量：375H指数：11
供职机构：南京航空航天大学
研究主题：形式化方法 故障树 SYSML 安全关键系统 接口自动机
程桢
作品数：8被引量：16H指数：2
供职机构：南京航空航天大学
研究主题：MARTE ARINC653 SYSML 系统安全性分析 状态机模型
王捍贫
作品数：38被引量：27H指数：3
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE