Data for "Exemplifying parametric timed specifications over signals with bounded behavior"
From MaRDI portal
Dataset:6724294
DOI10.5281/zenodo.6382893Zenodo6382893MaRDI QIDQ6724294
Dataset published at Zenodo repository.
Ichiro Hasuo, Masaki Waga, Natuski Urabe, Étienne André
Publication date: 24 March 2022
Copyright license: Creative Commons Attribution 4.0 International
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"
