First Page | Document Content | |
---|---|---|
Date: 2013-11-08 01:30:47Information Data transmission Technology Model checking ANT Communications protocol Wireless networking Data Wireless sensor network | Formal Verification of Real-Time Wireless Sensor Networks Protocols with Realistic Radio Links Alexandre Mouradian Isabelle Augé-BlumAdd to Reading ListSource URL: leat.unice.frDownload Document from Source WebsiteFile Size: 2,42 MBShare Document on Facebook |