Cognition; Task analysis; Computer architecture; Computational modeling; Semantics; Brain modeling;
机译:实现不是规范:计算认知建模中的规范,复制和实验
机译:用于多LOD建筑物模型的正式规范和一致管理的元模型方法
机译:形式规范的元模型方法和多洛杉矶建筑模型的一致管理
机译:Carina中认知模型的正式规范
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。