Miyazaki Hisashi
   Department     ,
   Position  
Language English
Title Consistency Verification of State Machine Diagrams and Sequence Diagrams Using FDR
Conference the 41th Euromicro Conference series on Software Engineering and Advanced Applications (SEAA2015)
Conference Type International society and overseas society
Presentation Type Speech
Lecture Type General
Publisher and common publisherT. Yokogawa, S. Amasaki, N. Igawa, Y. Sato, K. Arimoto, H. Miyazaki
Date 2015/08/26
Venue
(city and name of the country)
madeira, portugal