There is a newer version of the record available.

Published April 14, 2023 | Version 1.1
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 (29.3 MB)

Name Size Download all
md5:69de863a65cdc68bd39587105f524eb8
29.3 MB Preview Download