Subject: Computer Science, Hardware & Architecture; Computer Science, Software Engineering
Title: automatic generation of symbolic model for parameterized synchronous systems
Author: Xu WW
Keyword: parameterized system
; formal verification
; symbolic representation
Source: JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
Issued Date: 2004
Volume: 19, Issue: 6, Pages: 812-819 Indexed Type: sci
; acm
Department: 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.
Language: 英语
Content Type: 期刊论文
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.