Domain engineering; Domain-specific languages; Code generation; Formal methods; Verification; Railway control systems;
机译:建立和验证铁路控制系统的正式方法
机译:基于模型的网络物理系统的构建和验证
机译:基于模型的构建和关键系统的验证,包括组合和部分优化
机译:面向领域的基于模型的铁路控制系统构建和验证方法
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:使用酿酒酵母表达系统预测药物代谢的CYP3A5基因多态性的构建和验证
机译:铁路控制系统建设与验证的形式化方法