Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.

Li Huang, Eun-Young Kang

Browse the full FASE paper archive.