プロセス代数CSPによるシーケンス図設計の詳細化と検証

書誌事項

タイトル別名
  • プロセス ダイスウ CSP ニ ヨル シーケンスズ セッケイ ノ ショウサイカ ト ケンショウ
  • Refinement and verification of sequence diagrams using the process algebra CSP
  • コンカレント工学
  • コンカレント コウガク

この論文をさがす

収録刊行物

参考文献 (10)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ