アクティブソフトウェアの設計検証手法に関する研究

Call No. (NDL): Y151-H16500019
Bibliographic ID of National Diet Library: 000008351636

Material type: 図書

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

Publisher: [関浩之]

Publication date: 2004-2005

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: 2004-2005
2006.5
Publication Date (W3CDTF): 2004
2005
Extent: 1冊
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析 / 実行履歴 / 形式言語 / セキュリティポリシーケイシキテキケンショウ / モデルケンサ / アクティブソフトウェア / アクセスセイギョ / セイテキカイセキ / ジッコウリレキ / ケイシキゲンゴ / セキュリティポリシー
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 16500019
Holding library: 国立国会図書館
Call No.: Y151-H16500019
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008351636
http://id.ndl.go.jp/bib/000008351636
Bibliographic Record Category (NDL): 214