豊島 真澄 | 北九州市立大学
スポンサーリンク
概要
関連著者
-
豊島 真澄
北九州市立大学
-
豊島 真澄
北九州市立大学院国際環境工学研究科
-
松浦 佐江子
芝浦工業大学システム工学部電子情報システム学科
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
田原 康之
電気通信大学大学院情報システム学研究科
-
野田 夏子
NECサービスプラットフォーム研究所
-
白銀 純子
東京女子大学
-
吉岡 信和
国立情報学研究所
-
片峯 恵一
九州工業大学
-
石尾 隆
大阪大学大学院基礎工学研究科
-
岸 知二
Jaist:nec
-
岸 知二
早稲田大学
-
押川 倫憲
北九州市立大学大学院国際環境工学研究科
-
武藤 嘉伸
アイシン・コムクルーズ株式会社
-
鈴村 延保
アイシン精機株式会社
-
鬼頭 正広
アイシン・コムクルーズ株式会社
-
田口 博一
北九州市立大学院国際環境工学研究科
-
石尾 隆
大阪大学
-
鈴村 延保
アイシン精機
-
山城 明宏
東芝ソリューション株式会社
-
吉岡 信和
国立情報学研究所graceセンター
著作論文
- 軽量形式手法を用いた車載電子システムの安全性分析に関する研究(形式手法(学生セッション))
- プロセス代数によるアーキテクチャ記述の容易化に関する研究
- ソフトウェアエンジニアリングシンポジウム2009開催報告