About this scholarly article

Proceedings 20th IEEE International Parallel & Distributed Processing Symposium - Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude by Olveczky, P.C.; Thorvaldsen, S. is a scholarly article available to read on EtoBox.

Author

Olveczky, P.C.; Thorvaldsen, S.

Publisher

IEEE

Published

2006

Language

EN