机译:支持安全认证的基于SysML的可追溯性管理和设计切片方法:框架,工具支持和案例研究
机译:从智利常青林到遗布的临界过渡到大草原:预警信号和牲畜管理
机译:乙醇副产品中的霉菌毒素:模拟对畜牧业的经济影响和管理策略
机译:基于国家的建模,支持安全关键软件产品线的演化和维护
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:在心脏手术安全关键情况下促进共享心理模型的认知支持(最新报告)
机译:一种基于模型的方法,支持安全关键软件产品线工程中系统重用和安全创造的方法