属性验证相关论文
计算机应用已经渗透到了社会生活的各个方面，利用计算机对信息进行收集、加工、存储、分析以及交换等各种处理，越来越成为必不可少的......
随着互联网的高速发展,网络协议标准也不断地更新和完善。如何更有效地提高网络服务,已成为网络协议工程领域的关键问题之一。层次......
目前软件应用广泛,对软件可靠性要求越来越高,研究软件的缺陷—错误—失效过程,提前预防失效的发生,减小软件失效带来的损失是十分......
信息物理融合系统（CPS）对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性......
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数......
由于嵌入式、计算机等技术的快速发展和硬件产品的性能以及在数据处理方面能力的不断提升,一些技术得到突飞猛进的发展,如物联网技......
