退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:智能:随机模型检查分析仪的可靠性和时间
Gianfranco Ciardo; Ming-ying Chung; Andrew S. Miner; Robert L. Jones; Robert M. Marmorstein; Radu I. Siminiceanu; Andy Yu;
机译:中国智能电网的量化建模与分析:随机模型检验案例研究
机译:测试智能电网保护系统可靠性的模型检查方法
机译:不同充电情景下采用混合电动汽车随机特性对智能电网可靠性影响的调查
机译:SMART:用于可靠性和时序的随机模型检查分析器
机译:高效的模型检查时序图。
机译:使用模拟退火和统计模型检查的随机生物学模型中的参数发现
机译:smaRT:用于可靠性和时序的仿真和马尔可夫分析器
机译:训练和检查检测模型可靠性的传感器模型数据的形成
机译:使用校准的特征分解模型对光刻工艺进行计算机辅助建模,可靠性检查和验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。