Formal verification of energy and timed requirements for a cooperative automotive system.

Eun-Young Kang, Li Huang, Dongrui Mu

Browse the full SAC paper archive.