しらさぎプロジェクト大学開放特許データベース(単願&発明者検索)

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