柴田 喜三 | ホクセイアルミニウム株式会社

スポンサーリンク

概要

• 柴田 喜三の詳細を見る
• 同名の論文著者
• ホクセイアルミニウム株式会社の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク