模态μ-演算相关硕士博士期刊学术论文

随着软硬件系统复杂性的不断提高，各种验证技术被越来越广泛的使用．模型检验技术是一种保证软硬件设计、实现正确性的有效技术．在针对......