Bell Laboratories, Lucent Technologies;
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:软件支持的轻质混凝土建筑结构的声学和热性能检查-符合DIN EN 12354的隔音检查-住宅建筑物的保温检查
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:在具体软件环境中对抽象组件进行模型检查
机译:具体,代表性,抽象(CRA)教学模型对干预模型的响应对2级一年级数学学生的影响:对数字感和计算流利性的教育意义。
机译:使用伪3D时空模型检查自动验证计算模型
机译:在具体软件环境中对抽象组件进行模型检查
机译:通过模型检查抽象形式规范生成软件测试