Data for "Exemplifying parametric timed specifications over signals with bounded behavior"
From MaRDI portal
DOI10.5281/zenodo.6382893Zenodo6382893MaRDI QIDQ6724294
Dataset published at Zenodo repository.
Author name not available (Why is that?)
Publication date: 24 March 2022
Copyright license: No records found.
Data for Exemplifying parametric timed specifications over signals with bounded behavior by Étienne Andr, Masaki Waga, Natuski Urabe, and Ichiro Hasuo, published in the proceedings of the 14th NASA Formal Methods Symposium (NFM 2022) See README.md in the zipped file for explanations and instructions for reproductibility.
This page was built for dataset: Data for "Exemplifying parametric timed specifications over signals with bounded behavior"
