オオニシ アツシ
大西 淳
OHNISHI Atsushi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 日本語
発行・発表の年月 2007/11
形態種別 論文(その他)
査読 査読あり
標題 シナリオにおけるアクタの状態の定義・参照関係を用いた ふるまいの検証
執筆形態 共著
掲載誌名 ソフトウェア工学の基礎
巻・号・頁 XIV,185-190
著者・共著者 糸賀裕弥、大西 淳