文献

J-GLOBAL ID：201902218930196643   整理番号：19S0402917

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

著者 (3件)： Kaizu, Tomohiro (Japan Advanced Institute of Science and Technology) ,  Suzuki, Masato (Japan Advanced Institute of Science and Technology) ,  Isobe, Yoshinao (National Institute of Advanced Industrial Science and Technology)
資料名： Computer Software
巻： 32  号： 1  ページ： 234-252  発行年： 2015年 
JST資料番号： SCOPUS  ISSN： 0289-6540 
発行国： 日本 (JPN)  言語： 日本語 (JA)

タイトルに関連する用語 (1件)： CSP