文献
J-GLOBAL ID:202002249065218005
整理番号:20A2692454
BDDによる一次時間論理モニタリング【JST・京大機械翻訳】
First-order temporal logic monitoring with BDDs
著者 (3件):
Havelund Klaus
(Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA)
,
Peled Doron
(Department of Computer Science, Bar Ilan University, Ramat Gan, Israel)
,
Ulus Dogan
(Boston University, Boston, MA, USA)
資料名:
Formal Methods in System Design
(Formal Methods in System Design)
巻:
56
号:
1-3
ページ:
1-21
発行年:
2020年
JST資料番号:
W4375A
ISSN:
0925-9856
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)