MODELS 2026 (series) / Hao Wu
Registered user since Thu 6 Feb 2025
Name:Hao Wu
Country:Ireland
Affiliation:Maynooth University
Personal website: https://classicwuhao.github.io
Research interests:Formal Methods, Programming Languages, Safety Critical Systems, Cyber Physical Systems, Model Based Testing
Contributions
Using general profile