机译:网络物理系统复杂数字逻辑组件的标准化设计方法
Anhui Normal Univ, Wuhu, Peoples R China;
Anhui Normal Univ, Comp Sci & Technol, Wuhu, Peoples R China;
Anhui Normal Univ, Comp Sci & Technol, Wuhu, Peoples R China;
Anhui Sci & Technol Univ, Wuhu, Peoples R China;
Univ So Queensland, Fac Hlth Engn & Sci, Toowoomba, Qld 4350, Australia;
Anhui Normal Univ, Wuhu, Peoples R China;
Anhui Normal Univ, Wuhu, Peoples R China;
Anhui Normal Univ, Comp Sci & Technol, Wuhu, Peoples R China;
Wuhan Univ, Comp Sci & Technol, Wuhan, Peoples R China;
CPS; Digital logic; Modeling; Effectiveness; Verification; Component;
机译:基于组件的复杂数字逻辑组件建模和有效性验证的方法
机译:利用标准化建模语言和方法进行网络物理系统的集成产品开发方法
机译:基于平台的具有合同和相关工具的网络物理系统设计方法
机译:复杂数字逻辑系统的基于组件的建模
机译:网络物理系统的正式系统工程方法:可验证设计过程
机译:Quantum战略组织设计:行业对齐4.0复杂网络网络物理精益管理系统
机译:低功耗异步逻辑数字系统的设计方法