机译:安全关键计算机系统中软件安全的方法框架科学出版物
机译:软系统方法论作为了解印度政府可负担住房计划问题的工具:一种案例研究方法
机译:阐述软件系统方法论的批判现实主义方法
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:复杂系统的情境分析:公共卫生研究中的方法学发展
机译:一种软系统方法论方法,用于改善房屋协会的缺陷管理和学习系统
机译:编程语言的问题特征:情境 - 微积分方法。第一部分。转让声明