新村 勇人 | 大阪大学大学院工学研究科
スポンサーリンク
概要
関連著者
-
新村 勇人
大阪大学大学院工学研究科
-
宮本 俊幸
大阪大学大学院工学研究科
-
新村 勇人
大阪大学工学部電子情報工学科
-
長谷川 泰央
大阪大学大学院工学研究科
-
宮本 俊幸
大阪大学大学院工学研究科電気電子情報工学専攻
-
宮本 俊幸
大阪大学 大学院工学研究科
-
長谷川 泰央
大阪大学工学部電子情報工学科
著作論文
- A-12-3 UMLステートマシンの有界モデル検査における同期遷移の記号表現方法の一考察(A-12.コンカレント工学,一般セッション)
- 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,ペトリネット,ニューラルネット及び一般)
- 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,べトリネット,ニューラルネット及び一般)
- シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SOAに基づくシステムの設計検証のためのUMLサブセット