Miyazaki Hisashi
   Department     ,
   Position  
Article types 原著
Language Japanese
Peer review Non peer reviewed
Title Verification of a management system for ventilator using model checking
Volume, Issue, Page 116(104),27-30頁
Author and coauthor Hisashi MIYAZAKI, Takayuki TORIGOE, Isao KAYANO, Yasuo OGASAWARA
Publication date 2016/06