iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/tase/LeCA18.xml
Khanh Trinh Le Yuki Chiba Toshiaki Aoki Formalization and Verification of AUTOSAR OS Standard's Memory Protection. 68-75 2018 TASE https://doi.org/10.1109/TASE.2018.00017 https://doi.ieeecomputersociety.org/10.1109/TASE.2018.00017 conf/tase/2018 db/conf/tase/tase2018.html#LeCA18