Software; Atmospheric modeling; Data mining; Model checking; Engines; Automotive engineering; Input variables;
机译:EMCDM:通过数据挖掘进行有效的模型检查,以验证通过体系结构样式指定的复杂软件系统
机译:汽车控制软件的模型检查:一种工业方法
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:组合要求采矿,软件模型检查和基于工业汽车系统的验证
机译:将类型检查与模型检查相结合以进行系统验证
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:组合模型检查和FTA软件安全要求的验证方法
机译:使用模型检查验证和验证容错系统要求的过程