【7/12更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

Extracting State Machines from Model-based Formal Specifications by Focusing on Data Types

書誌事項

タイトル
Extracting State Machines from Model-based Formal Specifications by Focusing on Data Types
著者
Kengo Miyoshi, Shideru Kusakabe, Keijiro Araki

収録刊行物

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

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