机译:LMNtal模型检查器的实现:元编程方法。
机译:基于模型的增量一致性检查,以启用交互式产品配置
机译:用于构建代码符合性检查的设计知识建模和软件实现
机译:可视化建模工具的设计和实现,以支持交互式径流预报
机译:用于数据以数据为中心的终端用户编程的语言和可视化工具,其交互式可视化设计
机译:ezCADD:快速的2D / 3D可视化启用的Web建模使计算机辅助药物设计民主化的环境
机译:LMNTAL模型检查器的实现:元编程方法。 。
机译:使用模型检查验证关键任务软件的设计和实现