モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して-
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して-
复制标题
对模型检查行为验证实用技术的思考 - 注重全面性 -
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
吉田敦
中科院分区：
文献类型：
--
作者：
張漢明;野呂昌満;沢田篤史;蜂巣吉成;吉田敦
