Best Paper Award: Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

Prize: Prizes, scholarships, distinctions

Description

30th International Conference, Computer Safety, Reliability, and Security, Naples, Italy, 2011
Degree of recognitionInternational