Embedded Systems Group (ES)

M.Sc. Xiao Wang

was member of the group
from 11/2017 to 10/2022
left for
research interests
Formal Verification
Model-based Design
publications
all | authored | edited/supervised | talks