Analytical models; Computer architecture; Educational institutions; Registers; Software; Transforms; Unified modeling language; Model Auto-Transformation; Requirement Engineering; System Modeling Language (SysML);
机译:自动化建筑能源系统建模和分析:基于SysML和模型转换的方法
机译:SysML中基于合同的建模和时间安全要求的验证
机译:弥合需求与设计之间的鸿沟:基于问题框架和SysML的方法
机译:基于SYSML的要求建模自动转换方法
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:ki67核检测和ki67指数估算:基于人类视觉建模的新型自动方法
机译:SysML中基于合同的建模和时间安全要求的验证