Registered user since Tue 25 May 2021
Name:Chih-Hong Cheng
Country:Germany
Affiliation:Carl von Ossietzky Universität Oldenburg & Chalmers University of Technology
Personal website: https://sites.google.com/site/chengchihhong/
Research interests:formal methods, dependable AI, software engineering
Contributions
Using general profile