...
机译:使用统计模型检查对不确定性感知的混合AADL设计进行量化性能评估
Analytical models; Model checking; Statistical analysis; Computational modeling; Uncertainty; Ports (Computers); Computer architecture;
机译:统计模型和欧氏模型检验对传感器网络性能的评估
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:利用定量统计方法评估速率常数模型对太阳能和水力跃迁增强废物稳定池综合性能的影响
机译:使用统计模型检查对变异感知的物联网设计进行定量分析
机译:轻质自固结混凝土:统计建模,混合物设计和性能评估。
机译:基于机器性能检查应用使用统计过程控制和ARIMA预测建模的基于机器性能检查应用的线性加速器的预测质量保证
机译:使用统计模型检查对不确定性感知的混合AADL设计进行量化性能评估