Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

E.-Y. Kang, P.-Y. Schobbens, P. Pettersson

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

OriginalsprogEngelsk
DOI
StatusUdgivet - 2011

Citer dette

@book{853d9c9d245f4f6e83a6034b37be833e,
title = "Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT",
author = "E.-Y. Kang and P.-Y. Schobbens and P. Pettersson",
year = "2011",
doi = "10.1007/978-3-642-24270-0_18",
language = "English",

}

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT. / Kang, E.-Y.; Schobbens, P.-Y.; Pettersson, P.

2011.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

TY - BOOK

T1 - Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

AU - Kang, E.-Y.

AU - Schobbens, P.-Y.

AU - Pettersson, P.

PY - 2011

Y1 - 2011

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80052983092&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-24270-0_18

DO - 10.1007/978-3-642-24270-0_18

M3 - Book

BT - Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

ER -