NASA Formal Methods 2024 (series) / Chih-Hong Cheng
Registered user since Tue 25 May 2021
Name:Chih-Hong Cheng
Country:Germany
Affiliation:Fraunhofer IKS & University of Hildesheim
Personal website: https://sites.google.com/site/chengchihhong/
Research interests:formal methods, dependable AI, software engineering
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile