302EDU
2020 2018 2015 2014 2010 2009 2008 2007 2005 2004 全部
搜索分类
模型检测

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多...

2015.11

按中图号分类
按出版社分类

版权声明：本网站所有资源来源于网络，著作权及版权归原作者所有。本网站尊重并保护知识产权，根据《信息网络传播权保护条例》，如果我们转载的作品侵犯了您的权利，请在一个月内通知我们，我们会及时删除。