Published October 10, 2022
| Version v1
Dataset
Open
Experimental data for paper "strategFTO: Untimed control for timed opacity"
Authors/Creators
- 1. Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France
- 2. Université de Lorraine, CNRS, Inria, LORIA
Description
This data set contains all experimental data for paper "strategFTO: Untimed control for timed opacity".
Files
archive.zip
Files
(9.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0ba3d0d5aef9061a75b6f57fbfbb3ac6
|
9.4 MB | Preview Download |