Miyazaki Hisashi
   Department     ,
Language English
Title Refinement check of asynchronous behaviors of sequence diagrams using LTSA
Conference IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
Conference Type International society and overseas society
Presentation Type Speech
Lecture Type General
Publisher and common publisher◎Kazuma Asada, Tomoyuki Yokogawa, Sousuke Amasaki Masaki, Hisashi Miyazaki, Yoichiro Sato
Date 2012/11
(city and name of the country)
Hiroshima, Japan