時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析
電子情報通信学会技術研究報告, vol.109, no.456, pp.85-90 (2010)
タグ: model, abstraction
@inproceedings{伊藤明彦2010a,
author = {伊藤 明彦 and 長岡 武志 and 岡野 浩三 and 楠本 真二},
title = {時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析},
booktitle = {電子情報通信学会技術研究報告},
volume = {109},
number = {456},
pages = {85--90},
year = {2010},
month = {mar}
}