Formal Modeling: A Step Forward to Cyber Secure Connected Car Systems
Towards Connected and Autonomous Vehicle HighwaysEAI/Springer Innovations in Communication and Computing（2020）
关键词
connected car systems,formal modeling
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要