搜索到 篇“ 形式化开发方法 “的相关文章

相关作者

梅萌
作品数：36被引量：68H指数：5
供职机构：同济大学电子与信息工程学院
研究主题：列车 CBTC 跟驰 移动闭塞系统 列控系统
陈生庆
作品数：28被引量：47H指数：5
供职机构：嘉应学院计算机学院
研究主题：实时系统 形式化方法 RT-Z Z 多视点
杨捷
作品数：24被引量：29H指数：4
供职机构：华南理工大学
研究主题：软件体系结构 进程代数 软件工程 需求规格说明 软件开发
陈广明
作品数：27被引量：44H指数：4
供职机构：嘉应学院计算机学院
研究主题：形式化方法 实时系统 RT-Z Z 物联网工程
张立臣
作品数：360被引量：695H指数：12
供职机构：陕西师范大学
研究主题：实时系统 机会网络 信息物理融合系统 路由方法 任务分配方法