研究者詳細情報
研究者 | 冨田 尭 |
---|---|
大学 | JAIST 情報科学系、セキュリティ・ネットワーク領域 |
研究室名 | |
専門分野 | ソフトウェア工学,形式手法,検証,自動合成,特に定量的検証及び定量的合成 |
研究テーマ | |
検索キーワード |
ソフトウェア工学,形式手法,検証,自動合成,特に定量的検証及び定量的合成,時間論理,オートマトン,リアクティブシステム,モデル検査,仕様検証,近似的手法
|
PR URL | |
PRタイトル名 | |
PR詳細文 (図) |
|
特許 | |
論文 | |
科研費 |