学科主题: Computer Science, Hardware & Architecture; Computer Science, Software Engineering
题名: automatic generation of symbolic model for parameterized synchronous systems
作者: Xu WW
关键词: parameterized system
; formal verification
; symbolic representation
刊名: JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
发表日期: 2004
卷: 19, 期: 6, 页: 812-819 收录类别: sci
; acm
部门归属: Shanghai Jiao Tong Univ, Dept Comp Engn & Sci, Shanghai 200030, Peoples R China. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
语种: 英语
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/12922
Appears in Collections: 软件所图书馆_期刊论文
File Name/ File Size
Content Type
Version
Access
License
19612.pdf （688KB） -- -- 限制开放 -- 联系获取全文
Recommended Citation:
Xu WW. automatic generation of symbolic model for parameterized synchronous systems[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2004-01-01,19(6):812-819.
