机译:Rx:将错误视为过敏-解决软件故障的安全方法
Department of Computer Science University of Illinois at Urbana Champaign;
availability; bug; reliability; software failure;
机译:细节:计算科学中软件故障的科学和历史回顾
机译:细节:计算科学中软件故障的科学和历史回顾
机译:更加熟悉我们的敌人并铺平道路:回顾软件故障中的错误角色
机译:错误的自然历史:使用正式方法分析太空任务中与软件相关的故障
机译:启用并支持软件故障的调试。
机译:测量臭虫天生臭虫跳蚤和虱子中杀虫剂敏感性水平的方法
机译:臭虫的自然史:利用形式化方法分析空间任务中的软件相关故障
机译:基于连续危险跟踪和故障预测方法的预测安全管理系统软件包