搜索结果: 1-1 共查到“计算机软件 Protocol Code”相关记录1条 . 查询时间(0.071 秒)
A Simple Method for Extracting Models from Protocol Code
Extracting Models Protocol Code
font style='font-size:12px;'>
2015/8/7
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...