Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki. Formalization and Verification of AUTOSAR OS Standard's Memory Protection. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 68-75, IEEE, 2018. [doi]
Abstract is missing.