Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.

Eun-Young Kang, Dongrui Mu, Li Huang

Browse the full IFM paper archive.