A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model | IEEE Journals & Magazine | IEEE Xplore
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.