搜索到 篇“ 接口自动机 “的相关文章

相关作者

胡军
作品数：113被引量：382H指数：11
供职机构：南京航空航天大学
研究主题：形式化方法 故障树 SYSML 安全关键系统 形式化
张岩
作品数：189被引量：455H指数：10
供职机构：南京大学
研究主题：三维模型 纹理合成 接口自动机 图像 不锈钢
李宣东
作品数：305被引量：863H指数：17
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
徐丙凤
作品数：33被引量：218H指数：8
供职机构：南京林业大学信息科学技术学院
研究主题：形式化方法 故障树 信息物理融合系统 接口自动机 嵌入式软件
郑国梁
作品数：148被引量：844H指数：16
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计