Submission 185
Submission · Zenodo (CERN European Organization for Nuclear Research) · 2023
The folder contains the following models: Drone model without clock synchronization and without delay. Drone model without clock synchronization and delay. Drone model with clock synchronization. The property file contains a list of properties used to verify the model.