- -

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.

Mostrar el registro completo del ítem

Martínez Castro, D.; Gonzalez, A.; Blanes Noguera, F.; Aquino, R.; Simó Ten, JE.; Crespo Lorente, A. (2011). Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors. 11(1):1059-1077. doi:10.3390/s110101059.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/28828

Ficheros en el ítem

Metadatos del ítem

Título: Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors
Fecha difusión:
Resumen:
A current trend in the development and implementation of industrial applications is to use wireless networks to communicate the system nodes, mainly to increase application flexibility, reliability and portability, as well ...[+]
Palabras clave: Colored petri nets , Sensor networks , Wireless control networks
Derechos de uso: Reconocimiento (by)
Fuente:
Sensors. (issn: 1424-8220 )
DOI: 10.3390/s110101059
Editorial:
MDPI
Versión del editor: http://dx.doi.org/10.3390/s110101059
Patrocinador:
CYTED
UNESCO 120325
UNESCO 330417
UNESCO 120314
UNESCO 120305
Ministerio de Industria, Turismo y Comercio of the Spanish Government
Ministerio de Ciencia e Innovacion of Spain DPI2008-06737-C02-01/02
European founds FEDER
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem