External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model. IEEE Transactions on Intelligent Transportation Systems, 24(12):15459-15467, December 2023. [doi]

Authors

Zhenjiang Qian

This author has not been identified. Look up 'Zhenjiang Qian' in Google

Shan Zhong

This author has not been identified. Look up 'Shan Zhong' in Google

Gaofei Sun

This author has not been identified. Look up 'Gaofei Sun' in Google

Xiaoshuang Xing

This author has not been identified. Look up 'Xiaoshuang Xing' in Google

Yong Jin

This author has not been identified. Look up 'Yong Jin' in Google
runs on