論文

基本情報

氏名 大矢野 潤
氏名(カナ) オオヤノ ジュン
氏名(英語) OOYANO, Jyun
所属 政策情報学部
職名 教授
researchmap研究者コード
researchmap機関

題名

効率の良いモデル空間探査のための抽象化

単著・共著の別

単著

概要

モデル検査を効率よく行うための抽象化技法について全順序構造に基づく方法を提案した。

発行雑誌等の名称

千葉商大紀要

巻・号・掲載ページ(移行用)

第43巻第2号 (71)

発行又は発表の年月

200501