メトリック
2 レコードビュー
- タイトル
- A Proposal of Formal Software Synthesis System Considering Complex Models
- 作成者 – 役職なし
- Oda TAKESHI
- 会議
- 第 23 回情報科学技術フォーラム (04/09/2024–06/09/2024)
- ID
- 991002555730407421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation