文献
J-GLOBAL ID:201702276094286186
整理番号:17A1041376
時間付きオートマトンの境界モデル検査のための効率的符号化
Efficient encoding for bounded model checking of timed automata
著者 (5件):
Chen Zuxi
(School of Computer Science and Technology, Huaqiao University, Xiamen 361021, China)
,
Xu Zhongwei
(School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China)
,
Du Junwei
(School of Information of Science and Technology, Qingdao University of Science and Technology, Qingdao, Shangdong 266061, China)
,
Mei Meng
(School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China)
,
Guo Jing
(School of Electrical and Electronic Engineering, Tongji University, Shanghai 201804, China)
資料名:
IEEJ Transactions on Electrical and Electronic Engineering
(IEEJ Transactions on Electrical and Electronic Engineering)
巻:
12
号:
5
ページ:
710-720
発行年:
2017年09月
JST資料番号:
W1854A
ISSN:
1931-4973
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)