伊藤 信裕 | 奈良先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
伊藤 信裕
奈良先端科学技術大学院大学情報科学研究科
-
王 静
奈良先端科学技術大学院大学
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
高田 喜朗
高知工科大学
著作論文
- 自己合成法を利用した再帰プログラムの情報流解析法について
- D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析