Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xaver Fink
conf.researchr.org general profile
NASA Formal Methods 2024 profile
Not registered as user yet
Name:
Xaver Fink
Country:
Germany
Affiliation:
CERN
Contributions
2024
NFM
Author of Tool Demonstration Session within the NFM 2024-track
Author of Tools Lightning Talks within the NFM 2024-track
Author of Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif within the NFM 2024-track
Share
x
Tue 3 Dec 18:11