INDIN 2019

17th IEEE International Conference on Industrial Informatics
22, Jul, 2019 to 25, Jul, 2019
Helsinki-Espoo, Finland
Homepage: https://www.indin2019.org/Outside Link

CISTER's participants:
,
Giann Nandi




Conference or Workshop Papers
Security in Wireless Sensor Networks: A formal verification of protocols CISTER-TR-190506 
Giann Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo Araújo17th IEEE International Conference on Industrial Informatics (INDIN 2019). 22 to 25, Jul, 2019, Safety and Security in Industrial Applications, pp 425-431. Helsinki-Espoo, Finland.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

PreviousNext