文献
J-GLOBAL ID:201802234808780402
整理番号:18A1938617
形式的方法と可視化技術の組合せによるデータフロー図の分析【JST・京大機械翻訳】
Analyzing data flow diagrams by combination of formal methods and visualization techniques
著者 (4件):
Zhang Haocheng
(BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China)
,
Liu Wei
(BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China)
,
Xiong Hao
(BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China)
,
Dong Xiaoju
(BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China)
資料名:
Journal of Visual Languages & Computing
(Journal of Visual Languages & Computing)
巻:
48
ページ:
41-51
発行年:
2018年
JST資料番号:
W0216A
ISSN:
1045-926X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)