CiNii Researchの本公開について

Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design

書誌事項

タイトル
Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
著者
Yutaka YAMADA, Katsumi WASAKI

収録刊行物

被引用文献 (0)

もっと見る

参考文献 (0)

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1010000782154603015
  • 資料種別
    journal article
  • データソース種別
    • KAKEN
ページトップへ