Publikationer 2003 2019

Filtrer
Bog
Bog

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 2012

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Bridging the semantic gap between abstract models of embedded systems

Suryadevara, J., Kang, E-Y., Seceleanu, C. & Pettersson, P., 2010

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Component publications and compositions

Zhan, N., Kang, E. Y. & Liu, Z., 2010

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

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