机译:基于概率的软件工具,用于评估数字系统的可控制性,可观察性和可测试性模型
机译:ArchReco:一种软件工具,可根据上下文感知的设计模式建议来辅助软件设计
机译:基于工件精度分析的五轴机床虚拟验证:软件工具代替昂贵的加工测试
机译:基于VxWorks的空间光学遥感器软件架构设计
机译:基于反馈的测试导师工具的开发与验证支持软件测试教育学
机译:基于传感器设计的医用超声遥控软件的设计与实现
机译:VxWorks系统并发程序动态检查工具的设计
机译:远程终端仿真器的修改,实现和评估,作为软件验证和压力测试工具