View Scopus Profile

Eun-Young KANG

Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research output per year

If you made any changes in Pure these will be visible here soon.

1 Active
3 Finished

4 results

Finished

VEREV: Verification of recursive, evolutive, real-time software
SCHOBBENS, P. & KANG, E.
1/02/11 → 31/01/12
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
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
Active

CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Project: Research

Your message has successfully been sent.

Your message was not sent due to an error.