Miyazaki Hisashi
   Department     ,
   Position  
Language English
Title Model Checking consistency of UML diagrams using Alloy
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◎Akie Nimiya, Tomoyuki Yokogawa, Sousuke Amasaki, Hisashi Miyazaki, Yoichiro Sato
Date 2010/11
Venue
(city and name of the country)
venice, italy