Login / Signup
A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model.
Zhenjiang Qian
Shan Zhong
Gaofei Sun
Xiaoshuang Xing
Yong Jin
Published in:
IEEE Trans. Intell. Transp. Syst. (2023)
Keyphrases
</>
operating system
object model
high assurance
computer systems
windows xp
distributed systems
database
intelligent transportation systems
data model
virtual machine
security mechanisms
information systems
data mining
machine learning
computer vision
traffic flow