Formally Verifiable Features in Embedded Vehicular Security Systems Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka and Hideki Imai Abstract— In an overview paper called State of the Art: Embeddi

First Page		Document Content
Date: 2018-03-08 05:11:17		Formally Verifiable Features in Embedded Vehicular Security Systems Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka and Hideki Imai Abstract— In an overview paper called State of the Art: Embeddi Add to Reading List Source URL: formal.hknu.ac.kr Download Document from Source Website File Size: 155,27 KB Share Document on Facebook