オオニシ アツシ
大西 淳
OHNISHI Atsushi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 2018/07
形態種別 研究論文(学術雑誌)
査読 査読あり
標題 A Method of Verifying Time-Response Requirements
執筆形態 共著
掲載誌名 IEICE Transactions on Information and Systems
巻・号・頁 E101-D(7),1725-1732
著者・共著者 Yuma Matsumoto, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi
DOI 10.1587/transinf.2017KBP0010