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.

Projects 1999 2014

Finished

VEREV: Verification of recursive, evolutive, real-time software

SCHOBBENS, P. & KANG, E.

1/02/11 → 31/01/12

Project: Research

VLPL: Software Product Lines Verification

HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.

1/01/11 → 1/01/13

Project: Research

TPA: Theory and Practice of Automata and Logics

SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.

1/01/11 → 31/12/14

Project: Research

Active

CFV: Federated Centre for Software Verification

SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.

1/10/99 → …

Project: Research