稲葉 敦 | 独立行政法人産業技術総合研究所　ライフサイクルアセスメント研究センター

スポンサーリンク

概要

• 稲葉 敦の詳細を見る
• 同名の論文著者
• 独立行政法人産業技術総合研究所　ライフサイクルアセスメント研究センターの論文著者

論文 | ランダム

• RTL-Tokio : レジスタトランスファレベル動作記述言語
• 時相論理型言語Tokioによる論理回路検証系の評価
• 時相論理型言語Tokioによるハードウェア記述 : 時間に依存するfactによる同期記述
• 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
• 光学用ポリエステル樹脂

もっと見る

スポンサーリンク