長岡 武志 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
楠本 真二
大阪大学大学院情報科学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
長岡 武志
大阪大学大学院情報科学研究科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
田中 俊彰
大阪大学大学院情報科学研究科
-
伊藤 明彦
大阪大学大学院情報科学研究科
著作論文
- 反例に基づく抽象化改良ループによる時間オートマトンの抽象化手法
- 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
- UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法
- 時間システムを対象とした到達可能性解析の高速化手法の提案
- 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析
- 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
- 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法