Experimental data for paper "strategFTO: Untimed control for timed opacity"

收藏

Zenodo2022-10-10 更新2026-04-07 收录

时间不透明性

数据链接：

https://zenodo.org/record/7181847 数据链接链接失效反馈

官方服务：

资源简介：

This data set contains all experimental data for paper "strategFTO: Untimed control for timed opacity".

提供机构：

Université de Lorraine, CNRS, Inria, LORIA; Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France

创建时间：

2022-10-10

© 2023-2026 上海数据发展科技有限责任公司版权所有

沪ICP备17003045号-15 沪公网安备31010402336585号

二维码

社区交流群

二维码

科研交流群

商业服务