Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska
Institution
Technical University of Denmark
Year
2010
Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska