Miyazaki Hisashi
   Department     ,
   Position  
Language English
Title Symbolic model checking of interactions in sequence diagrams with combined fragments by SMV
Conference International Conference on Computer Systems Science and Engineering(ICCSSE 2010)
Conference Type International society and overseas society
Presentation Type Speech
Lecture Type General
Publisher and common publisher◎Yuka Kawakami, Tomoyuki Yokogawa, Sousuke Amasaki, Hisashi Miyazaki, Yoichiro Sato
Date 2010/11
Venue
(city and name of the country)
venice, italy