時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良
組込みシステムシンポジウム2008 論文集, vol.2008, no.9, pp.141-150 (2008)
タグ: improvement, abstraction, refinement, timed, automata, partial, parallel, composition
@inproceedings{長岡武志2008,
author = {長岡 武志 and 岡野 浩三 and 楠本 真二},
title = {時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良},
booktitle = {組込みシステムシンポジウム2008 論文集},
volume = {2008},
number = {9},
pages = {141--150},
year = {2008},
month = {oct}
}