INDIN 2019
17th IEEE International Conference on Industrial InformaticsHelsinki-Espoo, Finland
Homepage: https://www.indin2019.org/
CISTER's participants:
Giann NandiConference or Workshop Papers/Talks
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.
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.
PDF