上位設計におけるシステムの振る舞い検証技術
システム/制御/情報, vol.52, no.9, pp.328-333 (2008)
タグ: Model, checking
@article{岡野浩三2008,
author = {岡野 浩三},
title = {上位設計におけるシステムの振る舞い検証技術},
journal = {システム/制御/情報},
volume = {52},
number = {9},
pages = {328--333},
year = {2008},
month = {sep}
}