MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. In John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne, editors, Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7321 of Lecture Notes in Computer Science, pages 143-157, Springer, 2012. [doi]

Authors

Fatemeh Kazemeyni

This author has not been identified. Look up 'Fatemeh Kazemeyni' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Olaf Owe

This author has not been identified. Look up 'Olaf Owe' in Google

Ilangko Balasingham

This author has not been identified. Look up 'Ilangko Balasingham' in Google