スポンサーリンク
信州大学大学院工学系研究科情報工学専攻 | 論文
- C-006 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- 静的解析によるAndroidパーミッションの利用目的の可視化方法(セキュリティ,一般)
- 静的解析によるAndroidパーミッションの利用目的の可視化方法(セキュリティ,一般)
- 静的解析によるAndroidパーミッションの利用目的の可視化方法(セキュリティ,一般)
- ユーザピリティ要求確認を支援する Web プロトタイプ自動生成手法