長谷川 泰央 | 大阪大学工学部電子情報工学科
スポンサーリンク
概要
関連著者
-
長谷川 泰央
大阪大学工学部電子情報工学科
-
宮本 俊幸
大阪大学大学院工学研究科
-
長谷川 泰央
大阪大学大学院工学研究科
-
新村 勇人
大阪大学工学部電子情報工学科
-
宮本 俊幸
大阪大学大学院工学研究科電気電子情報工学専攻
-
宮本 俊幸
大阪大学 大学院工学研究科
-
新村 勇人
大阪大学大学院工学研究科
著作論文
- A-12-1 UMLコミュニケーション図からUML状態機械図の自動生成をペトリネットの可達空間を展開せずに行う手法について(A-12.コンカレント工学,一般セッション)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,ペトリネット,ニューラルネット及び一般)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,べトリネット,ニューラルネット及び一般)
- シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (システム数理と応用)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (ソフトウェアサイエンス)
- SOAに基づくシステムの設計検証のためのUMLサブセット (回路とシステム)
- SOAに基づくシステムの設計検証のためのUMLサブセット (システム数理と応用)
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について