Amanote Research
Register
Sign In
Static Verification of Wireless Sensor Networks With Formal Methods
doi 10.1109/sitis.2012.90
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2012
Authors
A. Testa
A. Coronato
M. Cinque
J. C. Augusto
Publisher
IEEE
Related search
Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks
International Journal of Critical Computer-Based Systems
Computer Science
Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks
Verification of EAP and Its Methods in Wireless Networks
Distributed Network Lifetime Maximization With Newton Method in Static Wireless Sensor Networks
Information Technology Journal
An Efficient and Self-Adapting Localization in Static Wireless Sensor Networks
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Wireless Sensor Networks
International Journal of Applied Evolutionary Computation
Wireless Sensor Networks
An Address-Based Routing Scheme for Static Applications of Wireless Sensor Networks
Wireless Sensor Networks
Signals and Communication Technology
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Communications
Electrical
