?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Le%2C+Khanh+Trinh&rft.aulast=Le&rft.aufirst=Khanh+Trinh&rft.date=6+May+2018&rft.title=Formalization+and+Verification+of+AUTOSAR+OS+Standard's+Memory+Protection&rft.genre=proceeding