机译:面向嵌入式系统的可靠开发工具:软件验证中的案例研究
programme verification; modular specification; interactive proving; programmable control;
机译:跨越RTOS边界的开发系统:Robert Day探索嵌入式软件工具的困境,即操作系统的选择传统上是如何决定工具选择的,但是这种情况现在正在改变
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:迈向嵌入式系统可靠的开发工具-软件验证中的案例研究
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:全球软件开发中的软件项目管理工具:系统映射研究
机译:用于网络嵌入式系统的代理面向软件开发,具有自动化领域的实时和可靠性要求