中田 明夫 | 広島市立大学大学院情報科学研究科システム工学専攻
スポンサーリンク
概要
関連著者
-
中田 明夫
広島市立大学 大学院情報科学研究科
-
中田 明夫
広島市立大学大学院情報科学研究科システム工学専攻
-
中田 明夫
広島市立大学 大学院情報科学研究科 システム工学専攻
-
中田 明夫
広島市立大学大学院情報科学研究科
-
百々 太市
広島市立大学情報科学部
-
山脇 弘
広島市立大学大学院情報科学研究科システム工学専攻|現在 Nttソフトウェア(株)勤務
-
山脇 弘
広島市立大学大学院情報科学研究科システム工学専攻|現在,NTTソフトウェア(株)勤務
-
百々 太市
広島市立大学大学院情報科学研究科システム工学専攻
-
河井 敏宏
広島市立大学情報科学部
-
嘉戸 彰
広島市立大学大学院情報科学研究科システム工学専攻
-
船瀬 広岐
広島市立大学大学院情報科学研究科システム工学専攻
著作論文
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 時間オートマトンのモデル検査
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- 飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価
- 変数の生存期間を考慮してヒープメモリ使用量削減を行うマルチタスクスケジューリング手法の検討