ECOOP 2022 (series) / Jie An
Registered user since Tue 23 Nov 2021
Name:Jie An
Affiliation:MPI-SWS
Personal website: https://leslieaj.github.io/
Research interests:Formal Methods, Model Learning, Real-time and Embeded Systems, Cyber-Physical Systems
Contributions
ECOOP 2022-profile
View general profile
View general profile