• Sign in
  • Sign up
conf.researchr.org / Xaver Fink
  • NASA Formal Methods 2024 profile
No Photo

Not registered as user

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
xFri 16 May 14:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up