Login / Signup
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.
Diego Martínez
Apolinar González
Francisco Blanes
Raúl Aquino
José E. Simó
Alfons Crespo
Published in:
Sensors (2011)
Keyphrases
</>
formal specification
object oriented design
specification languages
wireless sensor
real time
information systems
model checking
artificial intelligence
wireless sensor networks
computer networks
formal methods
sensor networks
low cost