NASA Formal Methods 2023 (series) / Christian Schilling
![Christian Schilling](https://conf.researchr.org/getProfileImage/christianschilling/98299b83-acc4-49e0-bd92-13913b21c546/small.jpg?1711463679000)
Registered user since Tue 30 Oct 2018
Name:Christian Schilling
Country:Denmark
Affiliation:Aalborg University
Personal website: https://www.christianschilling.net
Research interests:Formal methods, Cyber-physical systems
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile