Research Output per year
Research Output 2011 2016
2013
54
Downloads
(Pure)
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E-Y. & Schobbens, P., 2013Research output: Other contribution
File
2012
94
Downloads
(Pure)
XFG Language and its Profile for Modeling and Analysis of Energy-Aware Real-Time Behaviors
Kang, E-Y., Perrouin, G. & Schobbens, P., 2012, (Unpublished)Research output: Other contribution
File
2011
A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL
Kang, E-Y., 2011, (Unpublished)Research output: Other contribution
A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems
Kang, E-Y., Schobbens, P-Y. & Legay, A., 2011, (Unpublished)Research output: Other contribution