Optimizing ZigBee Security using Stochastic Model Checking

Bibliographische Detailangaben
Hauptverfasser: Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M
Format: Report
Veröffentlicht: Technical University of Denmark 2010