Formal verification of high-level design based on control/data separation 高位設計に対する制御と演算の分離による形式的検証

Search this Article

Author

    • 西原, 佑 ニシハラ, タスク

Bibliographic Information

Title

Formal verification of high-level design based on control/data separation

Other Title

高位設計に対する制御と演算の分離による形式的検証

Author

西原, 佑

Author(Another name)

ニシハラ, タスク

University

東京大学

Types of degree

博士 (工学)

Grant ID

甲第25719号

Degree year

2010-03-24

Note and Description

博士論文

Codes

  • NII Article ID (NAID)
    500000535892
  • NII Author ID (NRID)
    • 8000000537849
  • Text Lang
    • eng
  • NDLBibID
    • 000011110802
  • Source
    • NDL ONLINE

Export

Page Top