Cargando…
Verification of communication protocols in web services: model-checking service compositions
Gathers recent advancements in the field of self-organizing wireless sensor networks and provides readers with the essential, state-of-the-art information about sensor networking. In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sen...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Wiley-IEEE Press
2014
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1988606 |