科银京成参加第二届可信软件系统研讨会

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”的报告。