机译:系统设计的元数学将形式方法技术全面转移到网络物理系统
Natl Inst Informat, Hitotsubashi 2-1-2, Tokyo 1018430, Japan;
Formal method; Cyber-physical system; Verification; Synthesis; Logic; Automaton; Category theory; Metamathematics; Control theory; Software engineering; Optimization; Machine learning; Hybrid dynamics; Quantitative reasoning;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:关于网络物理系统安全和安全性的正式方法的最新进展
机译:网络物理系统中的漏洞和安全保证方法:全面回顾
机译:网络物理系统设计:正式基础,方法和集成工具链
机译:网络物理系统的正式系统工程方法:可验证设计过程
机译:用于无线供电的神经接口系统的薄膜柔性天线和硅CMOS整流器芯片的协同设计方法和晶圆级封装技术
机译:网络物理系统设计:形式基础,方法和集成工具链