Art
J-GLOBAL ID：201902218930196643   Reference number：19S0402917

SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (3)：
Kaizu, Tomohiro

About Kaizu, Tomohiro

(Japan Advanced Institute of Science and Technology)

About Japan Advanced Institute of Science and Technology

, 
Suzuki, Masato

About Suzuki, Masato

(Japan Advanced Institute of Science and Technology)

About Japan Advanced Institute of Science and Technology

, 
Isobe, Yoshinao

About Isobe, Yoshinao

(National Institute of Advanced Industrial Science and Technology)

About National Institute of Advanced Industrial Science and Technology


Material：
Computer Software

About Computer Software


Volume： 32  Issue： 1  Page： 234-252  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 0289-6540 
Country of issue： Japan (JPN)  Language： Japanese (JA)
Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
CSP

About CSP


Return to Previous Page

TOP

BOTTOM