Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems プロパティ検証問題における二分決定グラフの実用的な技術と応用

著者

    • 岩下, 洋哲

書誌事項

タイトル

Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems

タイトル別名

プロパティ検証問題における二分決定グラフの実用的な技術と応用

著者名

岩下, 洋哲

学位授与大学

Hokkaido University(北海道大学)

取得学位

博士(情報科学)

学位授与番号

甲第11291号

学位授与年月日

2014-03-25

注記・抄録

v, 112p

Hokkaido University(北海道大学). 博士(情報科学)

0アクセス

各種コード

ページトップへ