実時間システムを対象としたCEGARによる抽象洗練の並列化手法
電子情報通信学会信学技報, vol.110, no.169, pp.35-40 (2010)
タグ: cegar, uppaal
@inproceedings{田中俊彰2010,
author = {田中 俊彰 and 長岡 武志 and 岡野 浩三 and 楠本 真二},
title = {実時間システムを対象としたCEGARによる抽象洗練の並列化手法},
booktitle = {電子情報通信学会信学技報},
volume = {110},
number = {169},
pages = {35--40},
year = {2010}
}