...
机译:模型检验在大学卫星嵌入式软件中的应用
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:模型检查技术在卫星运行模式管理中的应用
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:基于SAT的嵌入式软件有界软件模型检查:案例研究
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:嵌入式软件的增量式有界模型检查