A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Eun-Young Kang

Research output: Other contribution

Original languageEnglish
Publication statusUnpublished - 2011

Cite this