文献
J-GLOBAL ID:201802272832896139
整理番号:18A1575711
SMTに基づくクロック制約言語CCSLの形式的手法とツール【JST・京大機械翻訳】
SMT-Based Approach to Formal Analysis of CCSL with Tool Support
著者 (2件):
Ying Yunhui
(華東師范大学計算机科学与軟件工程学院,上海200062;高可信軟件国家重点実験室(華東師范大学),上海200062)
,
Zhang Min
(華東師范大学計算机科学与軟件工程学院,上海200062;高可信軟件国家重点実験室(華東師范大学),上海200062)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
29
号:
6
ページ:
1595-1606
発行年:
2018年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)