Security; Cybersecurity; Transformation; Investment; Budget; Risk-based approach;
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:通过键入需求模型自动重用模型转换
机译:自动化建筑能源系统建模和分析:基于SysML和模型转换的方法
机译:迈为大规模网络安全变换的自动建模:潜在模型和方法
机译:开发用于校准简化的空气侧HVAC系统模型的自动化方法,并估算翻新/调试措施可能节省的成本。
机译:在对数规模上线性剂量反应模型的荟萃分析中摘要统计的输入作为转换:EURRECA中开发的一种方法
机译:开发用于简化空侧暖通空调系统模型的自动方法论,并估算翻新/调试措施可能节省的成本