行业报告详情 - 行业报告数据库

行业分类

▶ 农、林、牧、渔业
5299 篇
▶ 采矿业
13868 篇
▶ 制造业
408780 篇
- 农副食品加工业
  2738 篇
- 食品制造业
  40616 篇
- 酒、饮料和精制茶制造业
  2311 篇
- 烟草制品业
  718 篇
- 纺织业
  19795 篇
- 纺织服装、服饰业
  1371 篇
- 皮革、毛皮、羽毛及其制品和制鞋业
  213 篇
- 木材加工和木、竹、藤、棕、草制品业
  419 篇
- 家具制造业
  702 篇
- 造纸和纸制品业
  1475 篇
- 印刷和记录媒介复制业
  226 篇
- 文教、工美、体育和娱乐用品制造业
  229 篇
- 石油加工、炼焦和核燃料加工业
  42110 篇
- 化学原料和化学制品制造业
  56629 篇
- 医药制造业
  33657 篇
- 化学纤维制造业
  531 篇
- 橡胶和塑料制品业
  2209 篇
- 非金属矿物制品业
  6322 篇
- 黑色金属冶炼和压延加工业
  13192 篇
- 有色金属冶炼和压延加工业
  2084 篇
- 金属制品业
  5939 篇
- 通用设备制造业
  45718 篇
- 专用设备制造业
  46556 篇
- 汽车制造业
  83097 篇
- 铁路、船舶、航空航天和其他运输设备制造业
  2152 篇
- 电气机械和器材制造业
  23782 篇
- 计算机、通信和其他电子设备制造业
  67954 篇
- 仪器仪表制造业
  2683 篇
- 其他制造业
  597 篇
- 废弃资源综合利用业
  129 篇
- 金属制品、机械和设备修理业
  432 篇
▶ 电力、热力、燃气及水生产和供应业
16079 篇
▶ 建筑业
9269 篇
▶ 批发和零售业
3869 篇
▶ 交通运输、仓储和邮政业
6464 篇
▶ 住宿和餐饮业
1238 篇
▶ 信息传输、软件和信息技术服务业
72401 篇
▶ 金融业
37108 篇
▶ 房地产业
12060 篇
▶ 租赁和商务服务业
1619 篇
▶ 科学研究和技术服务业
2821 篇
▶ 水利、环境和公共设施管理业
3387 篇
▶ 居民服务、修理和其他服务业
640 篇
▶ 教育
1229 篇
▶ 卫生和社会工作
1965 篇
▶ 文化、体育和娱乐业
4867 篇
▶ 公共管理、社会保障和社会组织
3821 篇
▶ 综合
5293 篇

找到报告 1 篇当前为第 1 页共 1 页

推理模型和错误发现的技术研究
Techniques for Model Inference and Bug Finding

作者：Chia Yuan Cho 作者单位：University of California 加工时间：2014-03-18 信息来源：EECS

关键词：推理模型；错误发现；符号分析
摘要：In this thesis, we explore two directions towards solving the problemof finding bugs in networkbased applications.

行业分类

友情链接

联系我们

QQ咨询

电话咨询

微信公众号

感谢访问