Cyber-Physical Systems; Formal Methods; Model-based Design; Tool Chains;
机译:系统设计的元数学将形式方法技术全面转移到网络物理系统
机译:基于平台的具有合同和相关工具的网络物理系统设计方法
机译:供应链管理中的网络物理系统(CPS):从实际实施的基础
机译:网络物理系统设计:正式基础,方法和集成工具链
机译:网络物理系统的正式系统工程方法:可验证设计过程
机译:基于Web的针对乳腺密集女性的个性化风险沟通和决策工具:综合医疗保健系统中的随机对照试验的设计和方法
机译:网络物理系统设计:形式基础,方法和集成工具链