ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson

Browse the full ICECCS paper archive.