AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
李宣东图谱-计算机领域:
相关人员
郑国梁
樊晓聪
周颖
张岩
陈晓燕
柳溪
陈铭松
王云峰
潘敏学
史耀馨
陈鑫
Jean BZIVIN
崔萌
朱平
赵建华
于笑丰
徐启文
Frédéric JOUAULT
杨朝晖
李倩
张天
杨璐
雷斌
谭文凯
郑滔
谭毅
袁洁松
胡军
王林章
李必信
研究领域
建模语言
并发软件
类内切片
节点
设计模式
消息交互一致性验证
参数
线性混合自动机
构件式设计
可达性分析
数据类聚
UML
动态分析
统一建模语言
嵌入式建模
定理证明
混合系统
线性混成系统
Java
构件
模型
类内聚
混合分析
逐步求精
时段时序逻辑
状态机
MDA(model driven architecture)
元模型
对象子类型
Petri网
所属机构
江苏南京
中国科学技术大学计算机科学技术系
安徽合肥
南京大学软件新技术国家重点实验室
计算机软件新技术国家重点实验室(南京大学...
南京计算机科学与技术系
南京大学计算机科学系
南京大学计算机科学与技术系
标签云
李宣东图谱-计算机领域:
图谱关系 查看更多
相关人员 查看更多
李宣东标签云