• Top
  • Details (Local collection)
アクティブソフトウェアの設計検証手法に関する研究

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

TOC

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

研究代表者関浩之

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

In-house publ.

Volume No.

Total: 2
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENS

R004326

2

Library

  • KAKENB
  • 2006
  • 14

0037646

Regular

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENJ

R004133

Details

Publication year

2005-2006

Alternative title

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

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

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

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

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

Series title

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

Note

課題番号:16500019

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

English (eng) ; Japanese (jpn)

Author information

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

Subject

形式的検証

モデル検査

アクティブソフトウェア

アクセス制御

静的解析

実行履歴

形式言語

セキュリティポリシー

NCID

BA78204443

Number

KAKEN : 16500019