ZigBee Specification : ZigBee Standards Organization, 2006. ,
Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, 1991. ,
DOI : 10.1109/32.75415
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.22, 2003. ,
DOI : 10.1137/0216062
Std 802.15.4 T M -2003, Part 15.4 : Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR- WPANs), IEEE Std, pp.802-817, 2003. ,
Propositions pour un protocole déterministe de contrôle d'accès et de routage avec économie d'énergie dans les réseaux ZigBee, Thèse de doctorat, 2008. ,
Modelling and verification of security protocols for ad hoc networks using UPPAAL, 18th Nordic Workshop on Programming Theory (NWPT'06), 2006. ,
Sliding Time Interval based MAC Protocol and its Temporal Validation, th IFAC International Conference On Fieldbuses & Networks in Industrial Systems (FET'07), 2007. ,
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks ", Integration of software specification techniques for applications in engineering, LNCS, vol.3147, pp.248-269, 2004. ,
Combined Beacon Scheduling, 2004. ,
Développement et analyse multi outils d'un protocole MAC déterministe pour un réseau de capteurs sans fil ", Colloque francophone sur l'ingénierie des protocoles, 2008. ,
Automatized Verification of Ad Hoc Routing Protocols, 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.27-30, 2004. ,
DOI : 10.1007/978-3-540-30232-2_22
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets Application and theory of petri nets : formal methods in software engineering and defence systems, ACM International Conference on, vol.12, pp.145-153, 2002. ,