論文
題名
単著・共著の別
概要
発行雑誌等の名称
巻・号・掲載ページ（移行用）
発行又は発表の年月
基本情報
氏名
大矢野 潤
氏名（カナ）
オオヤノ ジュン
氏名（英語）
OYANO, Jun
所属
政策情報学部
職名
教授
researchmap研究者コード
researchmap機関
題名
効率の良いモデル空間探査のための抽象化
単著・共著の別
単著
概要
モデル検査を効率よく行うための抽象化技法について全順序構造に基づく方法を提案した。
発行雑誌等の名称
千葉商大紀要
巻・号・掲載ページ（移行用）
第43巻第2号 (71)
発行又は発表の年月
2005/01
