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

Pris: Priser, stipendier, udnævnelser

Beskrivelse

30th International Conference, Computer Safety, Reliability, and Security, Naples, Italy, 2011
Grad af anerkendelseInternational