すべて 2024 2023 2022
すべて 雑誌論文 学会発表 産業財産権
ACM Transactions on Embedded Computing Systems
巻: 22 号: 5s ページ: 1-26
10.1145/3609127
Computer Aided Verification. CAV 2023
巻: 13964 ページ: 3-26
10.1007/978-3-031-37706-8_1
Automated Technology for Verification and Analysis. ATVA 2023
巻: 14215 ページ: 33-52
10.1007/978-3-031-45329-8_2
EPiC Series in Computing
巻: 96 ページ: 151-169
10.29007/6nqs
34th International Conference on Computer-Aided Verification
巻: 13371 ページ: 447-468
10.1007/978-3-031-13185-1_22
