UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法
電子情報通信学会技術報告, vol.107, no.176, pp.77-82 (2007)
タグ: abstraction, extended, timed, automata, uppaal, counterexample-guided, abstraction, refinement, loop
@inproceedings{長岡武志2007,
author = {長岡 武志 and 岡野 浩三 and 楠本 真二},
title = {UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法},
booktitle = {電子情報通信学会技術報告},
volume = {107},
number = {176},
pages = {77--82},
year = {2007},
month = {aug}
}