( en | de | ru )

 

Disambiguierung von "Pagani, Elena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -.

, , , , und . IFM, Volume 10510 von Lecture Notes in Computer Science, Seite 391-406. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Davide Pagani

Davide Pagani

Alain Pagani

Alain Pagani

Claudia Ines Elena de Theissen

 

Weitere Publikationen von Autoren mit dem selben Namen

A Service Discovery Infrastructure for Heterogeneous Wired/Bluetooth Networks., , und . IWUC, Seite 170-179. INSTICC Press, (2004)Interest-driven forwarding for delay-tolerant mobile ad hoc networks., und . IWCMC, Seite 718-723. IEEE, (2013)Design of a Reliable Multicast Protocol., , und . INFOCOM, Seite 75-81. IEEE Computer Society, (1993)A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks., , , , und . IEEE Trans. Dependable Secur. Comput., 19 (6): 4082-4098 (2022)Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches., , , , und . Sensors, 22 (7): 2533 (2022)A Linux-Based Testbed for Multicast Sessions Set-Up in Diff-Serv Networks., , und . QoS-IP, Volume 2601 von Lecture Notes in Computer Science, Seite 619-633. Springer, (2003)A framework for the admission control of QoS multicast traffic in mobile ad hoc networks., und . WOWMOM, Seite 2-11. ACM, (2001)From MANET to people-centric networking: milestones and open research challenges, , , , , , und . Computer Communications, (2015)Sensing multi-dimensional human behavior in opportunistic networks., , , und . MobiOpp, Seite 89-90. ACM, (2012)Distributed Bandwidth Broker for QoS Multicast Traffic., und . ICDCS, Seite 319-326. IEEE Computer Society, (2002)