北京:010-63783999 成都:028-60129966
首页
关于我们
首页
企业简介
总经理致辞
企业荣誉
联系方式
新闻中心
企业新闻
团队风采
产品中心
产品简介
“道系统”操作系统
通用版操作系统
安全关键版操作系统
DSP版操作系统
综合化版操作系统
“道系统”开发环境
“道系统”应用工具
嵌入式实时监控软件
多余度系统开发综合设备
系统监控工具
XML解析组件
航电ICP模拟器
嵌入式软件自动测试环境
嵌入式软件产品验证工具
事件分析器
系统异常现场分析工具
自动系统试验平台
企业优势
团队建设
人才战略
所有产品
技术支持
技术动态
联系方式
当前位置:
首页
新闻中心
企业新闻
科银京成参加第二届可信软件系统研讨会
科银京成参加第二届可信软件系统研讨会
2009-06-05 12:00:00
coretek
原创
5565
6月3-4日,中科院软件所同美国南加州大学及麻州大学联合举办的第二届可信软件系统学术研讨会(“The 2nd ISCAS/USC/UMass Joint Workshop on Trustworthy Software Systems”)在北京中科院软件所举行。科银京成总经理朱明远应邀在会上作了题为“
Formal Method is Working: The Formal Development of VMK - An Operating System Kernel
”的报告。
新闻中心
企业新闻
团队风采
移动访问