Model design; Genetic algorithms; Model checking; Fitness function;
机译:CAD模型和SYSML规范的互操作性,用于自动检查设计要求
机译:关于自动安全合规性检查的案例研究,以帮助建筑物信息模型中的防坠落设计和规划
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:使用遗传算法和模型检查的自动化模型设计
机译:使用参数设计,仿真建模和遗传算法优化日光和能量性能
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:基于遗传算法和模型检测的自动模型设计