Open AccessModeling and Analyzing Wireless Sensor Networks with VeriSensor
Author(s) -
Yann Ben Maissa,
Fabrice Kordon,
Salma Mouline,
Yann Thierry-Mieg
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , wireless sensor network , domain (mathematical analysis) , formal verification , concurrency , reliability (semiconductor) , node (physics) , model checking , distributed computing , formal methods , computer network , software engineering , programming language , engineering , mathematical analysis , power (physics) , physics , mathematics , structural engineering , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom