Research output per year
Research output per year
Search results
-
2012
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., 2012Research output: Book/report › Monograph › Research › peer-review
-
2011
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
Kang, E-Y., Schobbens, P-Y. & Pettersson, P., 2011Research output: Book/report › Monograph › Research › peer-review
-
2010
Bridging the semantic gap between abstract models of embedded systems
Suryadevara, J., Kang, E-Y., Seceleanu, C. & Pettersson, P., 2010Research output: Book/report › Monograph › Research › peer-review
-
Component publications and compositions
Zhan, N., Kang, E. Y. & Liu, Z., 2010Research output: Book/report › Monograph › Research › peer-review