...时大量生产Time to Money&&即时变现/及时大量交货AIT&&自动验证技术(Automated IDentification Technologies)T*&&全部资产可视化(Total Assets Visualization)SCADA&&数据采集和监视控制(Supervisory Control and Data ...
基于30个网页-相关网页
研究铁路系统的自动验证技术。
This paper presents automatic verification techniques for railway systems.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
在诸多的系统分析和验证方法中,模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
应用推荐