There is a newer version of the record available.

Published January 10, 2022 | Version v1
Dataset Open

Data for "Exemplifying parametric timed specifications over signals with bounded behavior"

Creators

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. Kyoto University, Kyoto, Japan
  • 3. National Institute of Informatics, Tokyo, Japan

Contributors

Contact person:

  • 1. LORIA, Université de Lorraine, Inria, CNRS

Description

Data for "Exemplifying parametric timed specifications over signals with bounded behavior"

See README.md in the zipped file for explanations and instructions for reproductibility.

Files

artifact.zip

Files (4.9 MB)

Name Size Download all
md5:32ea8a3ecaeb75395b01ca347ffaa6db
4.9 MB Preview Download