机译:2.起源:对硬系统方法的反对,对软方法的改进3.对抗:不同方法的比较4.批判系统思维的五项承诺
机译:使用硬件在环法和软件在环法评估开关半主动车辆悬架系统
机译:关键长期航空软件系统中的弹性工程:一种用于航天飞机软件安全的新方法
机译:一种关于质量改进计划可持续性的系统思考方法
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:康奈尔净碳水化合物和蛋白质系统的模型的开发和评估:1.饲料库,2.瘤胃氮和支链挥发性脂肪酸缺乏,3.饮食优化,4.维持和生长所需的能量。
机译:使用系统思维来识别为整个系统方法提供紧急和紧急护理的劳动力推动因素:多案例研究
机译:将人的因素纳入地下水研究和政策制定:一种软而批判的系统思维方法
机译:组合硬件软件可靠性模型研究。第1卷。概述和摘要。第2卷。通过内置测试和硬件 - 软件交互来近似复杂系统的可用性。第3卷。可用性