Sign in
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow.
Yann Ben Maissa
Fabrice Kordon
Salma Mouline
Yann Thierry-Mieg
Published in:
Trans. Petri Nets Other Model. Concurr. (2013)
Keyphrases
</>
wireless sensor networks
neural network
data collection
information retrieval
artificial intelligence
distributed systems
database
data sets
sensor nodes
routing algorithm
energy efficiency
data flow
modeling method
modeling framework
key management
control flow