Lynda Mokdad, Abdelkrim Abdelli, Jalel Ben-Othman. Modeling and Verification Tools for greedy attacks in non-slotted 802.15.4.
IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'14), Sep 2014, Paris, France.
⟨hal-01724342⟩ 