無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

Call No. (NDL): Y151-H18500023
Bibliographic ID of National Diet Library: 000009557358

Material type: 図書

Author: 関浩之, 奈良先端科学技術大学院大学 [著]

Publisher: [関浩之]

Publication date: 2006-2007

Material Format: Paper

Capacity, size, etc.: 1冊

NDC: -

View All

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
Title Transcription: ムゲンジョウタイモデルケンサオモチイタコウシンライセイソフトウェアノジドウケンショウニカンスルケンキュウ
Author/Editor: 関浩之, 奈良先端科学技術大学院大学 [著]
Author Heading: 関, 浩之セキ, ヒロユキ
奈良先端科学技術大学院大学ナラセンタンカガクギジュツダイガクインダイガク
Publication, Distribution, etc.: [関浩之]
Publication Date: 2006-2007
2008.5
Publication Date (W3CDTF): 2006
2007
Extent: 1冊
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制御 / XML / セキュリティ / 実行履歴ケイシキテキケンショウ / モデルケンサ / セイテキカイセキ / ケイシキゲンゴ / アクセスセイギョ / XML / セキュリティ / ジッコウリレキ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 18500023
Holding library: 国立国会図書館
Call No.: Y151-H18500023
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009557358
http://id.ndl.go.jp/bib/000009557358
Bibliographic Record Category (NDL): 214