Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.

Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson

Browse the full SAFECOMP paper archive.