時間システムを対象とした到達可能性解析の高速化手法の提案
情報処理学会研究報告, vol.170, no.15 (2010)
タグ: cegar, uppaal
@inproceedings{田中俊彰2010a,
author = {田中 俊彰 and 長岡 武志 and 岡野 浩三 and 楠本 真二},
title = {時間システムを対象とした到達可能性解析の高速化手法の提案},
booktitle = {情報処理学会研究報告},
volume = {170},
number = {15},
year = {2010}
}