Using LOTOS for Formalizing Wireless Sensor Network Applications

Author： Rosa Nelson Souto   Cunha Paulo Roberto Freire  

Publisher： MDPI

E-ISSN： 1424-8220|7|8|1447-1461

ISSN： 1424-8220

Source： Sensors, Vol.7, Iss.8, 2007-08, pp. : 1447-1461

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models

By Dâmaso Antônio   Freitas Davi   Rosa Nelson   Silva Bruno   Maciel Paulo  

Sensors, Vol. 13, Iss. 3, 2013-03 ,pp. : 3473-3500

MDPI

Access to resources Recommend Favorite

An LDPC Decoder Architecture for Wireless Sensor Network Applications

By Giancarlo Biroli Andrea Dario   Martina Maurizio   Masera Guido  

Sensors, Vol. 12, Iss. 2, 2012-02 ,pp. : 1529-1543

MDPI

Access to resources Recommend Favorite

A Wireless Sensor Network with Soft Computing Localization Techniques for Track Cycling Applications

By Gharghan Sadik Kamel   Nordin Rosdiadee   Ismail Mahamod  

Sensors, Vol. 16, Iss. 8, 2016-08 ,pp. : 1043-1043

MDPI

Access to resources Recommend Favorite

Wireless Sensor/Actuator Network Design for Mobile Control Applications

By Xia Feng   Tian Yu-Chu   Li Yanjun   Sun Youxian  

Sensors, Vol. 7, Iss. 10, 2007-10 ,pp. : 2157-2173

MDPI

Access to resources Recommend Favorite

Wireless Sensor Technologies and Applications

By Xia Feng  

Sensors, Vol. 9, Iss. 11, 2009-11 ,pp. : 8824-8830

MDPI

Access to resources Recommend Favorite