机译:评估基于UML / SysML的模型驱动的软件工程符号的可用性实验,用于制造自动化中的逻辑控制
机译:基于知识的基础设施设施工程:基于逻辑模型和高级过程几何相关性的铁路隧道辅助设计
机译:基于知识的基础设施设施工程:基于逻辑模型和高级过程几何相关性的铁路隧道辅助设计
机译:基于UML的逆向工程,用于验证铁路控制逻辑
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:花卉过渡的逻辑:对控制侧向器官身份的开关进行逆向工程
机译:基于逻辑的逻辑方法,用于验证UML定时模型