Abstract :
The following topics are dealt with: wireless sensor networks; actuator network systems; formal modelling; runtime verification; environment monitoring; and model-driven approach.
Keywords :
actuators; environmental monitoring (geophysics); formal specification; formal verification; wireless sensor networks; actuator network systems; environment monitoring; formal modelling; model-driven approach; runtime verification; wireless sensor networks;
Conference_Titel :
Software Engineering for Sensor Network Applications (SESENA), 2013 4th International Workshop on
Conference_Location :
San Francisco, CA
DOI :
10.1109/SESENA.2013.6612255
