Registered user since Wed 29 Jan 2020

Name: Mingyu Park

Country: South Korea

Affiliation: LG Electronics

Personal website: https://www.researchgate.net/profile/Mingyu_Park9

Research interests: Model Checking, Embedded Software

Contributions