アクティブソフトウェアの設計検証手法に関する研究, 平成17年度実績報告書

アクティブソフトウェアの設計検証手法に関する研究, 平成17年度実績報告書

アクティブ ソフトウェア ノ セッケイ ケンショウ シュホウ ニ カンスル ケンキュウ

研究代表者関浩之

[生駒] : [奈良先端科学技術大学院大学], 2005-2006

学内論文

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

平成17年度実績報告書
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • KAKENJ

R004133

詳細情報

刊年

2005-2006

別書名

科学研究費補助金実績報告書

科学研究費補助金(基盤研究(C))実績報告書

平成17年度科学研究費補助金(基盤研究(C))実績報告書

平成16年度-平成17年度科学研究費補助金(基盤研究(C))研究成果報告書

科学研究費補助金基盤研究C

シリーズ名

科学研究費補助金(基盤研究C)研究成果報告書 ; 平成16-17年度

注記

課題番号:16500019

標題言語

日本語 (jpn)

本文言語

英語 (eng) ; 日本語 (jpn)

著者情報

関, 浩之 (セキ, ヒロユキ)

件名

形式的検証

モデル検査

アクティブソフトウェア

アクセス制御

静的解析

実行履歴

形式言語

セキュリティポリシー

NCID

BA78204443

番号

KAKEN : 16500019