Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Formal modelling and verification of vehicular internet p... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Formal modelling and verification of vehicular internet protocol gatekeeper
0
Authors
Jiayong Liu
5 more
Jiayong Liu
•
Shichao Chen
3 more
•
Q Wu
Published
January 1, 2024
Paper
Conversation
0
Reviews
0
Bounties
0
Abstract
Supporters
Support the authors with ResearchCoin
Tip RSC
Journal
International Journal of Vehicle Safety
Topics
Computer Science
Pathology
Engineering
Medicine
Electrical And Electronic Engineering
Show all topics
DOI
10.1504/ijvs.2024.10068197
