VeriVANca: an Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
SPIN（2019）
关键词
Model checking,Warning message dissemination,Vehicular Ad-Hoc Networks (VANETs),Rebeca,Actor model
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要