Model Checking of Spacecraft Operational Designs: A Scalability Analysis - Artifact

Model Checking of Spacecraft Operational Designs: A Scalability Analysis - Artifact

This artifact contains the accompanying experiment data for the publication "Model Checking of Spacecraft Operational Designs: A Scalability Analysis".

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Chrszon, Philipp
Format: Dataset
Sprache:eng
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This artifact contains the accompanying experiment data for the publication "Model Checking of Spacecraft Operational Designs: A Scalability Analysis".
DOI:10.5281/zenodo.13998668