Consumer Devices; Iterative Process; Dependability Cases; Physics in Software;
机译:面向嵌入式系统的可靠开发工具:软件验证中的案例研究
机译:新的数据采集控制软件开发,可同时控制W7-X上的十个智能全景摄像机
机译:开发卫星仪器控制单元的嵌入式启动软件:学习的经验教训
机译:迭代和同步开发嵌入式控制软件和消费类设备的可靠性案例
机译:用于单框架控制力矩陀螺仪和免夹紧悬臂梁的振动阻尼的嵌入式系统软件开发。
机译:基于UML的软件开发中的可靠性建模和评估
机译:用于网络嵌入式系统的代理面向软件开发,具有自动化领域的实时和可靠性要求
机译:使用软件应力方法生成嵌入式设备的受控模拟发射。