中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	基于MDA和可执行形式化的可信软件设计 [期刊论文] 计算机工程, 2009-01-01, 卷号: 35, 期号: 19, 页码: 138-140 唐艳; 杜玉越; 刘伟 \|
	基于Isabelle定理证明器算法程序的形式化验证 [期刊论文] 计算机工程与科学, 2009-01-01, 卷号: 31, 期号: 10, 页码: 85-89 游珍; 薛锦云 \|
	一类0-1背包问题算法程序的形式化推导 [期刊论文] 武汉大学学报(理学版), 2009-01-01, 期号: 6, 页码: 674-680 王昌晶; 薛锦云 \|
	可信平台模块的形式化分析和测试 [期刊论文] 计算机学报, 2009-01-01, 期号: 4, 页码: 646-653 陈小峰 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In