Formalization and Verification of AUTOSAR OS Standard's Memory Protection.

Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki

Browse the full TASE paper archive.