QQ客服 官方微博 反馈留言

	Symbolic model checking for discrete real-time systems
	Xiangyu LUO[1,2]; Lijun WU[3]; Qingliang CHEN[4]; Haibo LI[1]; Lixiao ZHENG[1]; Zuxi CHEN[1]
	2018
卷号	61期号:5页码:199
关键词	模型检查 变系统 即时 线性时间 分离 逻辑检查 应用程序 输出变量
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/4622952
专题	暨南大学
作者单位	1.[1]College of Computer Science & Technology, Huaqiao University, Xiamen 361021, China 2.[2]Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin 541004, China 3.[3]School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China 4.[4]Department of Computer Science, Jinan University, Guangzhou 510632, China
推荐引用方式 GB/T 7714	Xiangyu LUO[1,2],Lijun WU[3],Qingliang CHEN[4],et al. Symbolic model checking for discrete real-time systems[J],2018,61(5):199.
APA	Xiangyu LUO[1,2],Lijun WU[3],Qingliang CHEN[4],Haibo LI[1],Lixiao ZHENG[1],&Zuxi CHEN[1].(2018).Symbolic model checking for discrete real-time systems.,61(5),199.
MLA	Xiangyu LUO[1,2],et al."Symbolic model checking for discrete real-time systems".61.5(2018):199.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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