Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems.

Kyoung-Soo We, Seunggon Kim, Wonseok Lee, Chang-Gun Lee

Browse the full RTSS paper archive.