iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/TITS.2022.3224385
A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model | IEEE Journals & Magazine | IEEE Xplore
