Optimizing ZigBee Security using Stochastic Model Checking

Dettagli Bibliografici
Autori principali: Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M
Natura: Report
Pubblicazione: Technical University of Denmark 2010