Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Optimizing ZigBee Security using Stochastic Model Checking

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

Links

See Also

Back to Top