メトリック
1 レコードビュー
- タイトル
- 形式的ソフトウェア合成システムの構築と妥当性検証
- 作成者 – 役職なし
- Oda TAKESHI
- 会議
- 第24回情報科学技術フォーラム (03/09/2025–05/09/2025)
- ID
- 991002594374407421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation