Research on Verification Method of Gatekeeper Model of Internet of Vehicles Protocol for Time Constraints
2023 IEEE 6th International Conference on Automation, Electronics and Electrical Engineering (AUTEEE)（2023）
Key words
time constraints,Internet of Vehicles,Formal analysis,Gatekeeper
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined