real-time systems; message passing; formal specification; distributed real-time system compositional design; linking interface specification; communication linkages; message passing;
机译:直推式传感器系统的系统描述:系统分解的概念框架,作为最佳传感器系统设计的基础
机译:联动驱动的欠触发手骨骼的机制:概念设计,包括解剖和机械规格
机译:机电设计分层系统形式基础中的概念模型
机译:RT系统的组成设计:链接接口规范的概念依据
机译:面向功能的机械设计系统中的功能规格到概念形式转换工具的框架。
机译:凸轮联动机构驱动四足仿生马机器人单腿系统的概念设计和计算建模分析
机译:RT系统的组成设计:链接接口规范的概念基础
机译:空间应用温度控制电加热系统的研究,设计,开发和试验第三卷:规格:单元设计规范加热器箔采购规范测试:测试程序测试报告