文献
J-GLOBAL ID:202002226423319448
整理番号:20A2551300
ブラックボックス連続時間動的システムのPACモデル検査【JST・京大機械翻訳】
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
著者 (4件):
Xue Bai
(State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China)
,
Zhang Miaomiao
(School of Software Engineering, Tongji University, Shanghai, China)
,
Easwaran Arvind
(School of Computer Science and Engineering, Nanyang Technological University, Singapore)
,
Li Qin
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
39
号:
11
ページ:
3944-3955
発行年:
2020年
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)