Data for "Exemplifying parametric timed specifications over signals with bounded behavior" (Q6724294)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Data for "Exemplifying parametric timed specifications over signals with bounded behavior" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data for "Exemplifying parametric timed specifications over signals with bounded behavior" |
Dataset published at Zenodo repository. |
Statements
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.
0 references
24 March 2022
0 references
2
0 references
