SOAに基づくシステムの設計検証のためのUMLサブセット (回路とシステム)

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-11-17

著者

• 長谷川 泰央

  大阪大学工学部電子情報工学科

• 新村 勇人

  大阪大学工学部電子情報工学科

関連論文

• A-12-3 UMLステートマシンの有界モデル検査における同期遷移の記号表現方法の一考察(A-12.コンカレント工学,一般セッション)
• A-12-1 UMLコミュニケーション図からUML状態機械図の自動生成をペトリネットの可達空間を展開せずに行う手法について(A-12.コンカレント工学,一般セッション)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,ペトリネット,ニューラルネット及び一般)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,べトリネット,ニューラルネット及び一般)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,ペトリネット,ニューラルネット及び一般)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,べトリネット,ニューラルネット及び一般)
• シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
• SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 (システム数理と応用)
• SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 (ソフトウェアサイエンス)
• cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (システム数理と応用)
• cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (ソフトウェアサイエンス)
• SOAに基づくシステムの設計検証のためのUMLサブセット (回路とシステム)
• SOAに基づくシステムの設計検証のためのUMLサブセット (システム数理と応用)
• SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
• SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
• SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
• SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
• cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
• cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について

もっと見る 閉じる

スポンサーリンク