Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking Download Tags: DTMC estimation iLTL networks Performance performance evaluation Probabilistic Model Checking Reliability statistical testing TDoA verification wireless sensor UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Mon, 11/23/2015 - 16:01