QQ客服 官方微博 反馈留言

	Control protocols design for cyber-physical systems (EI收录)
	Cai, Yi[1,2]; Qi, Deyu[1]
关键词	Complex networks Computer circuits Formal verification Model checking Reconfigurable hardware Sensors Temporal logic
会议地点	Chongqing, China
URL标识	查看原文
内容类型	会议
URI标识	http://www.corc.org.cn/handle/1471x/2042760
专题	华南理工大学
推荐引用方式 GB/T 7714	Cai, Yi[1,2],Qi, Deyu[1].Control protocols design for cyber-physical systems (EI收录).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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