Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany;
Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany;
Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany;
Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany;
Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany;
Unified modeling language; Buildings; Integrated circuit modeling; Computational modeling; Complex systems; Logic gates; Context;
机译:UML / OCL模型的自动验证和验证中的框架条件:仅修改语句的符号表示
机译:使用统一建模语言(UML)对基于框架的未来派知识表示进行动态建模:以智能DrugMarketers跟踪系统(IDMTS)为例
机译:UML40DP:计算元模型中的接口的OCL 2.0约束规范和UML建模
机译:UML / OCL模型的象征性表示中的帧条件
机译:迈向居住,居住条件和居住状况的模型表示:文献,相关标准和信息模型中临床实践的评估
机译:以巴甫洛夫条件式方法响应形式建模个体差异:具有因式表示的双重学习系统方法
机译:分析UML / OCL模型中的帧条件 - 一致性等价与独立性