Modelchecking相关论文
随着计算机网络技术的迅猛发展,计算机病毒的传播和攻击方式日新月异,严重威胁大型网络应用解决方案的安全性和可靠性.传统反病毒......
Problem Frames-Based Approach for Analyzing Incremental Requirements within Software Intensive-Syste
Innovative software-intensive systems are increasingly developed in an incremental and iterative manner.The requirements......
Researchers have proposed several security protocols to protect the electronic commerce security in these years;however,......
Dimension-reduction model-adaptive test for parametric single-index models:A dimension-reduction mod
Local smoothing testing based on multivariate nonparametric regression estimation is one of the main model checking meth......
Covariate measurement error has attracted extensive interest in survival analysis.In the past thirty years,a large numbe......
首先,建立具有良好描述性和操作性的脆弱性模型.这个模型除了用于总结、帮助理解已知脆弱性的特征和性质外,更重要地是为建立脆弱......
Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Gra
The ability to assess the reliability of safety-critical systems is one of the most crucial requirements in the design o......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
一个被广泛用于验证实时系统的方法是根据被验证的实时性质 ,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类......
