Photo of Eun-Young KANG

View Scopus Profile

Eun-Young KANG

  • 108 Citations
  • 7 h-Index
19992016
If you made any changes in Pure these will be visible here soon.

Research Output 2011 2016

  • 108 Citations
  • 7 h-Index
  • 9 Conference contribution
  • 4 Other contribution
  • 1 Chapter
  • 1 Article
Filter
Other contribution
2013
55 Downloads (Pure)

Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties

Kang, E-Y. & Schobbens, P., 2013

Research 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