Congreso: Proceedings of the 2021 Forum on specification & Design Languages (FDL): Antibes (France), 8-10 September 2021

 Editorial: Institute of Electrical and Electronics Engineers, Inc.

 Año de publicación: 2021

 Tipo de publicación: Comunicación a Congreso

 DOI: 10.1109/FDL53530.2021.9568374

 ISBN: 978-1-6654-1825-6

 Proyecto español: TEC2017-86722-C4-3-R

 Proyecto europeo: info:eu-repo/grantAgreement/EC/H2020/826610/eu/Framework of key enabling technologies for safe and autonomous drones’ applications/COMP4DRONES/

 Url de la publicación: https://doi.org/10.1109/FDL53530.2021.9568374