塚本 勝俊 | 大阪大学工学部電子情報工学科
スポンサーリンク
概要
大阪大学工学部電子情報工学科 | 論文
- A-12-1 UMLコミュニケーション図からUML状態機械図の自動生成をペトリネットの可達空間を展開せずに行う手法について(A-12.コンカレント工学,一般セッション)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,ペトリネット,ニューラルネット及び一般)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,べトリネット,ニューラルネット及び一般)
- シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (システム数理と応用)