DocumentCode
637314
Title
Contents
fYear
2013
fDate
21-21 May 2013
Firstpage
1
Lastpage
1
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering for Sensor Network Applications (SESENA), 2013 4th International Workshop on
Conference_Location
San Francisco, CA
ISSN
2327-1620
Type
conf
DOI
10.1109/SESENA.2013.6612255
Filename
6612255
Link To Document