Linking Simulation with Formal Verification and Modeling of Wireless Sensor Networks in TLA+
Tytuł:
Linking Simulation with Formal Verification and Modeling of Wireless Sensor Networks in TLA+
Czasopismo:
COMPUTER NETWORKS (CN '10), COMMUNICATION AND INFORMATION SCIENCE, INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS (CN '10)
Rok:
2010
Strony:
131 - 140
Tom (seria wydawnicza):
79
Link:
http://link.springer.com/chapter/10.1007%2F978-3-642-13861-4_13
DBLP link:
http://dblp.uni-trier.de/db/conf/cn/cn2010.html#Martyna10