检索结果-内蒙古大学图书馆

第三届泛太平洋计算机会议将于1989年8月15日到19日在北京举行

微电子学与计算机 1988年第4期 22-22页

1987年8月26～29日在新加坡举行了第二届泛太平洋计算机会议(The 2th Pan Pacific ComputerConference,PPCC-2).PPCC-2会议上宣布第三届泛太平洋计算机会议将于1989年8月15～19日在中国北京举行.PPCC-3会议由中国计算机学会,

<正> 1987年8月26～29日在新加坡举行了第二届泛太平洋计算机会议(The 2th Pan Pacific ComputerConference,PPCC-2).PPCC-2会议上宣布第三届泛太平洋计算机会议将于1989年8月15～19日在中国北京举行.PPCC-3会议由中国计算机学会,

关键词：计算机会议中国计算机学会中国电子学会计算机工程固件工程计算机系统设计国际科技会议专家系统办公系统计算机图形学

来源：评论

学校读者我要写书评

暂无评论

大连智达智能公交系统整体解决方案

引用

交通标准化 2012年第4期40卷 24-24页

大连智达科技有限公司（以下简称“大连智达”）是一家央企控股的股份制高新技术企业，成立于2002年，注册资本为5000万元，是国务院国有资产监督管理委员会直接管理的中央企业中国华录集团有限公司旗下子公司，隶属于中国华录智能交通... 详细信息

大连智达科技有限公司（以下简称“大连智达”）是一家央企控股的股份制高新技术企业，成立于2002年，注册资本为5000万元，是国务院国有资产监督管理委员会直接管理的中央企业中国华录集团有限公司旗下子公司，隶属于中国华录智能交通产业板块的上市公司北京易华录信息技术股份有限公司（股票代码：300212）。公司主营业务包括设计、开发、生产和销售智能交通系统管理软件及相关设备；计算机系统设计、计算机系统集成、网络设备安装与服务；网络系统工程设计与安装；安全防范、视频监控系统的设计、安装与维护等。

关键词：国务院国有资产监督管理委员会整体解决方案智能公交系统大连计算机系统设计计算机系统集成高新技术企业系统管理软件

来源：评论

学校读者我要写书评

暂无评论

形式验证方法综述

引用

大视野 2008年第7期 144-144页

作者：陈丽高巍巍哈尔滨师范大学恒星学院

形式化方法是计算机系统设计验证的一条有效途径。形式验证(for-mal verification)作为传统基于模拟的验证方法的补充,成为VLSI(Very Large Scale Integration)设计验证的一种非常有希望的方法,从而引起人(

关键词：形式验证计算机系统设计形式化方法设计验证模型检验有限状态机时态逻辑 checking v

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：