program verification; formal specification; computational complexity; formal methods; assertion suite completeness; fault model; formal property verification; formal specification; coverage analysis; behavioral gaps;
机译:一种面向方面的形式化方法,用于在云计算中建模和分析自适应资源调度
机译:基于形式语义的机床故障诊断知识建模方法研究
机译:设计结构矩阵(DSM)方法在风能资产故障树建模与分析中的应用
机译:针对高级故障模型分析断言套件的完整性的正式方法
机译:一种正式建模和分析移动代理系统软件体系结构的方法。
机译:从多因素表达数据推断和分析基因调节网络:完整互动的套件
机译:在SAM中分析软件体系结构模型的形式化方法
机译:综合树模型:故障树构造的形式化方法。