There is a newer version of the record available.

Published April 14, 2023 | Version 1.0
Dataset Open

Applicability of Model Checking for Verifying Spacecraft Operational Designs - Artifact

Authors/Creators

  • 1. German Aerospace Center (DLR)

Description

This artifact contains the accompanying experiment data for the submission "Applicability of Model Checking for Verifying Spacecraft Operational Designs".

Files

applicability-mc-spacecraft.zip

Files (28.3 MB)

Name Size Download all
md5:893516f185bf2172074fe9a819707ab1
28.3 MB Preview Download