QQ客服 官方微博 反馈留言

	Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems
	Liu Xiao; Yang Yun; Wang FuTian
刊名	Science in China. Series F: Information Sciences
	2015
卷号	Vol.58 No.5页码:1-16
关键词	DYNAMIC VERIFICATION CONSTRAINTS STRATEGY
ISSN号	1674-733X
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2156233
专题	安徽大学
作者单位	1.China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200241, Peoples R China 2.Swinburne Univ Technol, Sch Software & Elect Engn, Hawthorn, Vic 3122, Australia 3.Anhui Univ, Sch Comp Sci & Technol, Hefei 230601, Peoples R China
推荐引用方式 GB/T 7714	Liu Xiao,Yang Yun,Wang FuTian. Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems[J]. Science in China. Series F: Information Sciences,2015,Vol.58 No.5:1-16.
APA	Liu Xiao,Yang Yun,&Wang FuTian.(2015).Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems.Science in China. Series F: Information Sciences,Vol.58 No.5,1-16.
MLA	Liu Xiao,et al."Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems".Science in China. Series F: Information Sciences Vol.58 No.5(2015):1-16.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。