Tools; Computer bugs; Model checking; Semantics; Instruction sets;
机译:中断驱动应用中的在线软错误缓解的硬件-软件方法
机译:中断驱动软件的期限分析
机译:不断发展的基于组件的软件的模块化一致性测试和假设保证验证
机译:中断驱动软件的模块化验证
机译:基于对象的软件的机械和模块化验证条件生成
机译:基于软件网络测量软件模块化
机译:中断驱动软件的模块化验证
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷