C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
George Saleip
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Timed Automata
Computation Tree Logic
Transition Systems
Finite State Machines
Top Venues
MODELS
</>
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.
MODELS
(2023)