Amanote Research
Register
Sign In
Model Checking Medium Access Control for Sensor Networks
doi 10.1109/isola.2006.16
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2006
Authors
Paolo Ballarini
Alice Miller
Publisher
IEEE
Related search
Medium Access Control With Mobility-Adaptive Mechanisms for Wireless Sensor Networks
International Journal of Sensor Networks
Control
Electronic Engineering
Computer Networks
Systems Engineering
Communications
Computer Science Applications
Electrical
Medium Access Control With an Energy-Efficient Algorithm for Wireless Sensor Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adaptive Window Size-Based Medium Access Control Protocol for Cognitive Radio Wireless Sensor Networks
Journal of Sensors
Control
Systems Engineering
Instrumentation
Electrical
Electronic Engineering
Medium Access Control Protocol for Wireless Sensor Networks in Harsh Environments With Directional Antennas
Secure Access Control Method for Wireless Sensor Networks
International Journal of Distributed Sensor Networks
Computer Networks
Engineering
Communications
Distributed Medium Access Control Protocol Based on Successive Collision Detection for Dense Wireless Sensor Networks
International Journal of Distributed Sensor Networks
Computer Networks
Engineering
Communications
Fair Medium Access Control Scheme for Packet Ring Networks
Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks
Distributed Medium Access Control Next-Generation CDMA Wireless Networks
IEEE Wireless Communications
Electronic Engineering
Computer Science Applications
Electrical