文献
J-GLOBAL ID：201902208320741121   整理番号：19S1355404

Towards verifying VDM using SPIN

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (4件)：
Lin, Hsin-Hung

Lin, Hsin-Hung について

(School of Information Science and Electrical Engineering, Kyushu University)

School of Information Science and Electrical Engineering, Kyushu University について

, 
Omori, Yoichi

Omori, Yoichi について

(School of Information Science and Electrical Engineering, Kyushu University)

School of Information Science and Electrical Engineering, Kyushu University について

, 
Kusakabe, Shigeru

Kusakabe, Shigeru について

(School of Information Science and Electrical Engineering, Kyushu University)

School of Information Science and Electrical Engineering, Kyushu University について

, 
Araki, Keijiro

Araki, Keijiro について

(School of Information Science and Electrical Engineering, Kyushu University)

School of Information Science and Electrical Engineering, Kyushu University について


資料名：
Communications in Computer and Information Science

Communications in Computer and Information Science について


巻： 596  ページ： 241-256  発行年： 2016年 
JST資料番号： SCOPUS  ISSN： 1865-0929  ISBN： 9783319295091 
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
VDM

VDM について

, 
SPIN

SPIN について


前のページに戻る

TOP

BOTTOM