Chih-Hong Cheng

Registered user since Tue 25 May 2021

Name:Chih-Hong Cheng
Country:Germany
Affiliation:Fraunhofer IKS & University of Hildesheim
Research interests:formal methods, dependable AI, software engineering

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile