Art
J-GLOBAL ID：201902208320741121   Reference number：19S1355404

Towards verifying VDM using SPIN

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (4)：
Lin, Hsin-Hung

About Lin, Hsin-Hung

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

About School of Information Science and Electrical Engineering, Kyushu University

, 
Omori, Yoichi

About Omori, Yoichi

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

About School of Information Science and Electrical Engineering, Kyushu University

, 
Kusakabe, Shigeru

About Kusakabe, Shigeru

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

About School of Information Science and Electrical Engineering, Kyushu University

, 
Araki, Keijiro

About Araki, Keijiro

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

About School of Information Science and Electrical Engineering, Kyushu University


Material：
Communications in Computer and Information Science

About Communications in Computer and Information Science


Volume： 596  Page： 241-256  Publication year： 2016 
JST Material Number： SCOPUS  ISSN： 1865-0929  ISBN： 9783319295091 
Country of issue： Germany (DEU)  Language： English (EN)
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
VDM

About VDM

, 
SPIN

About SPIN


Return to Previous Page

TOP

BOTTOM