メトリック
1 レコードビュー
- タイトル
- 形式的ソフトウェア部品の検証を兼ねた自動生成手法の改善と評価
- 作成者 – 役職なし
- Oda TAKESHI
- 会議
- 第24回情報科学技術フォーラム (03/09/2025–05/09/2025)
- ID
- 991002594374507421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation