Formal Verification of CAN Bus in Cyber Physical System.

Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang

Browse the full QRS paper archive.