|
Kayano Isao
Department Kawasaki University of Medical Welfare , Position Professor |
|
| Article types | 原著 |
| Language | Japanese |
| Peer review | Non peer reviewed |
| Title | Verification of a management system for ventilator using model checking |
| Volume, Issue, Page | pp.27-30 |
| Author and coauthor | Hisashi MIYAZAKI, Takayuki TORIGOE, Isao KAYANO, Yasuo OGASAWARA |
| Publication date | 2016/06 |