QQ客服 官方微博 反馈留言

	Throughput based temporal verification for monitoring large batch of parallel processes
	Yuan,Dong; Yang,Yun; Wang,Dingxian; Wang,Futian; Liu,Xiao
刊名	ACM International Conference Proceeding Series
	2014
页码	124-133
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2158645
专题	安徽大学
作者单位	1.2Faculty of Information and Communication Technologies, Swinburne University of Technology, Australia 2.Software Engineering Institute, East China Normal University, China 3.3School of Computer Science and Technology,Anhui University, China
推荐引用方式 GB/T 7714	Yuan,Dong,Yang,Yun,Wang,Dingxian,et al. Throughput based temporal verification for monitoring large batch of parallel processes[J]. ACM International Conference Proceeding Series,2014:124-133.
APA	Yuan,Dong,Yang,Yun,Wang,Dingxian,Wang,Futian,&Liu,Xiao.(2014).Throughput based temporal verification for monitoring large batch of parallel processes.ACM International Conference Proceeding Series,124-133.
MLA	Yuan,Dong,et al."Throughput based temporal verification for monitoring large batch of parallel processes".ACM International Conference Proceeding Series (2014):124-133.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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