2019年4月 - 2024年3月
IoT システムのための形式検証手法の深化
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B)
- ID情報
-
- 課題番号 : 19H04084
この研究課題の成果一覧
絞り込み
論文
4-
ACM Transactions on Embedded Computing Systems 2023年10月31日 査読有り最終著者
-
ATVA 2023 2023年10月 査読有り最終著者
-
CAV 2022 447-468 2022年 査読有り
-
CAV 2022 235-256 2022年 査読有り
講演・口頭発表等
4-
EMSOFT 2023 2023年9月
-
EMSOFT 2023 2023年9月