北京科银京成技术有限公司成都研发中心
登录
注册
语言
简体
繁體
English
首页
企业新闻
产品中心
技术动态
科银京成参加第二届可信软件系统研讨会
2009-06-05 12:00:00
coretek
4697
原创
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
”的报告。
© 北京科银京成技术有限公司
SQL查询:
19
次内存占用:
2.00MB
PHP 执行时间:
0.09
秒
蝉知
7.4.1