代数的手法を用いた同期式順序回路の段階的設計および形式的検証

• 資料種別: 博士論文
• タイトル: 代数的手法を用いた同期式順序回路の段階的設計および形式的検証
• タイトルよみ: ダイスウテキ シュホウ ヲ モチイタ ドウキシキ ジュンジョ カイロ ノ ダンカイテキ セッケイ オヨビ ケイシキテキ ケンショウ
• 著者・編者: 北道, 淳司
• 著者標目: 北道, 淳司 キタミチ, ジュンジ; https://nrid.nii.ac.jp/nrid/1000020234271
• 授与機関名: OU
• 授与年月日: 1998-10-14
• 報告番号: 乙第07614号
• 学位: 博士（工学）
• 本文の言語コード: jpn
• 対象利用者: 一般
• DOI: 10.11501/3151128
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: インターネット公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 大阪大学 : 大阪大学学術情報庫 桜華

目次

14179_Dissertation.pdf fulltext

14179_Abstract.pdf abstract