地上デジタル放送と放送通信融合--世界各国の政策と動向

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 時相論理型言語Tokioによるハードウェア記述 : 時間に依存するfactによる同期記述
• 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
• 光学用ポリエステル樹脂
• ハードウェア状態遷移表現のPrologによる検証
• 時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証

もっと見る

スポンサーリンク