-
卜磊
-

-

- 所属机构:南京大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李宣东

- 作品数:298被引量:844H指数:16
- 供职机构:南京大学
- 研究主题:自动机 面向对象 混成系统 MDA 实时系统
- 王林章

- 作品数:144被引量:392H指数:11
- 供职机构:南京大学
- 研究主题:制导 数据竞争 自动机 数据流分析 规约
- 赵建华

- 作品数:70被引量:142H指数:6
- 供职机构:南京大学
- 研究主题:MDA 规约 EDOC 实时系统 时间自动机
- 沈思远

- 作品数:7被引量:0H指数:0
- 供职机构:南京大学
- 研究主题:物联网系统 智能家居 反例 二进制代码 二进制
- 蒋慧

- 作品数:9被引量:1H指数:1
- 供职机构:南京大学
- 研究主题:变式 自动机 等价 迁移 混成系统