搜索结果: 1-1 共查到“计算机科学技术 Extracting Models”相关记录1条 . 查询时间(0.093 秒)
The use of model checking for validation requires that models of the underlying system be created. Creating such models is both difficult and error prone and as a result, verification is rarely used d...