Modeling and Analyzing Wireless Sensor Networks with VeriSensor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012. Volume 851 of CEUR Workshop Proceedings, pages 60-76, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Yann Ben Maissa' in GoogleThis author has not been identified. Look up 'Fabrice Kordon' in GoogleThis author has not been identified. Look up 'Salma Mouline' in GoogleThis author has not been identified. Look up 'Yann Thierry-Mieg' in Google

runs on WebDSL