退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证概率实时系统的自动机规范
Rajeev Alur; Costas Courcoubetis; David Dill;
机译:关于验证概率实时系统自动机规格的说明
机译:验证分布式概率实时系统的自动机规范
机译:概率线性混合自动机嵌入式系统的规范与验证技术
机译:MultiVue:用于实时系统的多语言规范和验证环境。
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:使用时间受限的反应自动机对实时嵌入式系统进行规范和验证
机译:系统规格验证支持装置和系统规格验证支持方法
机译:系统规格验证辅助装置及系统规格验证辅助方法
机译:通过场景生成,基于CSP的面向语法的模型构建以及R2D2C系统需求转换来提供更完整的系统需求规范的自动机学习算法和过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。