机译:严格的机器人软件设计:基于组件的正式方法
Robotic software architecture; Controller synthesis; Verification and validation; Robotic functional layer; Robust software;
机译:严格的机器人软件设计:基于组件的正式方法
机译:将基于组件的软件架构应用于机器人工作单元应用程序
机译:用于机器人工作单元应用程序的基于组件的软件体系结构
机译:在基于组件的软件开发中处理软件演进的正式方法
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:设计适用于集成电路和衬底嵌入式网络的差分耦合线定向耦合器的严格方法
机译:Robot软件的严格设计:基于正式的组件方法