Miyazaki Hisashi
   Department     ,
   Position  
Language English
Title A Method for Translating Timed Petri Nets into Compact Timed Automata
Conference The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
Conference Type International society and overseas society
Presentation Type Speech
Lecture Type General
Publisher and common publisher◎Yosuke Miwa, Tomoyuki Yokogawa, Sousuke Amasaki, Ryota Kawamura, Hisashi Miyazaki, Yoichiro Sato
Date 2011/11
Venue
(city and name of the country)
Niigata, Japan