AUGELLO, Andrea

AUGELLO, Andrea  

Ingegneria  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Data di pubblicazione Titolo Autori Tipologia Autore(i) File
1-gen-2021 Distributed Symbolic Network Quality Assessment for Resource-constrained Devices Augello A.Gaglio S.Lo Re G.Peri D. 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Augello A.; Gaglio S.; Lo Re G.; Peri D.
1-set-2022 Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent Augello A.Gaglio S.Lo Re G.Peri D. 01 - Contributo in rivista::1.01 Articolo in rivista Augello A.; Gaglio S.; Lo Re G.; Peri D.
1-gen-2021 Simulation and Test of UAV Tasks with Resource-Constrained Hardware in the Loop Augello A.Gaglio S.Lo Re G.Peri D. 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Augello A.; Gaglio S.; Lo Re G.; Peri D.
15-lug-2022 Time-Constrained Node Visit Planning for Collaborative UAV–WSN Distributed Applications Augello A.Gaglio S.Lo Re G.Peri D. 01 - Contributo in rivista::1.01 Articolo in rivista Augello A.; Gaglio S.; Lo Re G.; Peri D.
1-gen-2020 Verification of Symbolic Distributed Protocols for Networked Embedded Devices Augello A.Gaglio S.Lo Re G.Martorella G.Peri D. + 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume Augello A.; D'Antoni R.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.