George Saleip

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Transition Systems

Finite State Machines

Top Venues

Publications

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. Modellierung (2024)
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. MODELS (2023)