Logic design assistance with temporal logic 時相論理によるハードウェア論理設計支援

この論文をさがす

著者

    • 藤田, 昌宏 フジタ, マサヒロ

書誌事項

タイトル

Logic design assistance with temporal logic

タイトル別名

時相論理によるハードウェア論理設計支援

著者名

藤田, 昌宏

著者別名

フジタ, マサヒロ

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

甲第6755号

学位授与年月日

1985-03-29

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000018111
  • NII著者ID(NRID)
    • 8000000018133
  • NDL書誌ID
    • 000000182425
  • データ提供元
    • NDL-OPAC
ページトップへ