オオニシ アツシ
大西 淳
OHNISHI Atsushi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 2005/09
形態種別 研究論文(国際会議プロシーディングス)
査読 査読あり
標題 Rule-based Verification of Scenarios with Pre-conditions and Post-conditions
執筆形態 共著
掲載誌名 Proc. 13th Requirements Engineering conference (RE'05)(IEEE Computer Society)
巻・号・頁 319-328
著者・共著者 Tatsuya Toyama, Atsushi Ohnishi