The key characteristics of MASM are veri ed and validated through the model checking technique.

 
  • 利用模型检测技术,建立了验证模型关键属性的方法;
今日热词
目录 附录 查词历史