QQ客服 官方微博 反馈留言

	Verification for Non-polynomial Hybrid Systems Using Rational Invariants
	Lin, Wang[1]; Wu, Min[2]; Yang, Zhengfeng[3]; Zeng, Zhenbing[4]
刊名	COMPUTER JOURNAL
	2017
卷号	60页码:675-689
关键词	non-polynomial hybrid systems safety verification rational invariant Symbolic-numeric method formal verification
ISSN号	0010-4620
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2188960
专题	上海大学
作者单位	1.[1]Wenzhou Univ, Coll Math & Informat Sci, Wenzhou 325035, Zhejiang, Peoples R China. 2.East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 3.[2]East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 4.[3]East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 5.[4]Shanghai Univ, Dept Math, Shanghai 200444, Peoples R China.
推荐引用方式 GB/T 7714	Lin, Wang[1],Wu, Min[2],Yang, Zhengfeng[3],et al. Verification for Non-polynomial Hybrid Systems Using Rational Invariants[J]. COMPUTER JOURNAL,2017,60:675-689.
APA	Lin, Wang[1],Wu, Min[2],Yang, Zhengfeng[3],&Zeng, Zhenbing[4].(2017).Verification for Non-polynomial Hybrid Systems Using Rational Invariants.COMPUTER JOURNAL,60,675-689.
MLA	Lin, Wang[1],et al."Verification for Non-polynomial Hybrid Systems Using Rational Invariants".COMPUTER JOURNAL 60(2017):675-689.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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