Early Prototyping of Wireless Sensor Network Algorithms in PVS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer. Early Prototyping of Wireless Sensor Network Algorithms in PVS. In Michael D. Harrison, Mark-Alexander Sujan, editors, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings. Volume 5219 of Lecture Notes in Computer Science, pages 346-359, Springer, 2008. [doi]

This author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Paolo Masci' in GoogleThis author has not been identified. Look up 'Holger Pfeifer' in Google

runs on WebDSL