-
卜磊
-
-
- 所属机构:南京大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李宣东
- 作品数：298被引量：844H指数：16
- 供职机构：南京大学
- 研究主题：自动机 面向对象 混成系统 MDA 实时系统
- 王林章
- 作品数：144被引量：392H指数：11
- 供职机构：南京大学
- 研究主题：制导 数据竞争 自动机 数据流分析 规约
- 赵建华
- 作品数：70被引量：142H指数：6
- 供职机构：南京大学
- 研究主题：MDA 规约 EDOC 实时系统 时间自动机
- 沈思远
- 作品数：7被引量：0H指数：0
- 供职机构：南京大学
- 研究主题：物联网系统 智能家居 反例 二进制代码 二进制
- 蒋慧
- 作品数：9被引量：1H指数：1
- 供职机构：南京大学
- 研究主题：变式 自动机 等价 迁移 混成系统
