Ocean surface; Radar; Aspect angle; Computer programs; Ducts; Energy; Environments; Evaporation; Ground level; Models; Propagation; Reflection; Refraction; Roughness; Targets; Wind;
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:将经典的离散事件系统规范模型转换为规范和描述语言
机译:实现不是规范:计算认知建模中的规范,复制和实验
机译:Speclda:建模产品评论和规范以产生增强规格
机译:使用统计模型开发高风险证书考试考试规范,以与整体判断模型的考试规范进行比较
机译:条件模型兼容时联合模型和全条件规范多重插补的相对效率:通用位置模型
机译:将经典离散事件系统规范模型转换为规范和描述语言