Experimental data for paper "strategFTO: Untimed control for timed opacity"
From MaRDI portal
Dataset:6724297
DOI10.5281/zenodo.7181848Zenodo7181848MaRDI QIDQ6724297FDOQ6724297
Dataset published at Zenodo repository.
Étienne André, Shapagat Bolat, Dylan Marinho, Engel Lefaucheux
Publication date: 10 October 2022
Copyright license: Creative Commons Attribution 4.0 International
This data set contains all experimental data for paper strategFTO: Untimed control for timed opacity.
This page was built for dataset: Experimental data for paper "strategFTO: Untimed control for timed opacity"
