Applicability of Model Checking for Verifying Spacecraft Operational Designs.

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Mller, Philipp M. Fischer, Andreas Gerndt, Michael Felderer

Browse the full MODELS paper archive.