AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
Z语言图谱-计算机领域:
研究人员
赵保华
何炎祥
袁晓东
顾毓清
徐向英
吴宇琼
王志刚
张基温
王玉斐
王超
汤小康
张立臣
管晓宏
何建波
卿斯汉
梁金千
黄谦
徐升华
郭雄辉
屈玉贵
杨鹤标
贾育
顾健
郑国梁
曹步文
胡劲松
吴方君
宋强
朱俊武
相关术语
形式化
时序状态转换系统
形式化描述
ERP
规格说明
消息驱动
过程代数CSP
ZEVES定理证明器
框架
过程描述语言
面向对象
扩充
PZ网
基于进程的访问控制
软件再工程
安全模型
特征空间
范例推理
BLP模型
信息安全
构件语义
网络入侵检测系统
Petri网
软件构件
系统依赖图
软件复用
统一建模语言
安全不变式
攻击分类方法
形式化方法
标签云
Z语言图谱-计算机领域:
图谱关系 查看更多
相关术语 查看更多
Z语言标签云