Formal specification and design techniques for wireless sensor and actuator networks (0)

by D Martınez, A Gonzalez, F Blanes, R U Aquino, J E Simo, A Crespo
Venue:Sensors