A study of model checking techniques with emphasis on program verification and probabilistic analysis

• Material Type: 博士論文
• Title: A study of model checking techniques with emphasis on program verification and probabilistic analysis
• Author/Editor: Toshifusa Sekizawa [著]
• Author Heading: 関澤, 俊弦 セキザワ, トシフサ
• Publication, Distribution, etc.: [Toshifusa Sekizawa]
• Publication Date: [2009]
• Publication Date (W3CDTF): 2009
• Extent: 1冊
• Alternative Title: プログラム検証と確率解析に重点をおいたモデル検査に関する研究 プログラム ケンショウ ト カクリツ カイセキ ニ ジュウテン オ オイタ モデル ケンサ ニ カンスル ケンキュウ
• Degree grantor/type: 大阪大学
• Date Granted: 平成21年3月24日
• Date Granted (W3CDTF): 2009
• Dissertation Number: 甲第13543号
• Degree Type: 博士 (情報科学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• Text Language Code: eng
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-2009-C481
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010261022; http://id.ndl.go.jp/bib/000010261022
• Bibliographic Record Category (NDL): 213