メトリック
4 レコードビュー
- タイトル
- 形式的ソフトウェア合成手法における部品検証を兼ねた不足部品の自動生成
- 作成者 – 役職なし
- Oda TAKESHI
- 会議
- 情報処理学会第87回全国大会 (13/03/2025–15/03/2025)
- ID
- 991002577656207421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation