2016 10th International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP) 2016
DOI: 10.1109/csndsp.2016.7573994
|View full text |Cite
|
Sign up to set email alerts
|

Formal approach to produce verified programs for wireless sensor nodes

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
1
0

Year Published

2018
2018
2018
2018

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 8 publications
0
1
0
Order By: Relevance
“…The proposed design consists of modules placed in specific areas, each module contains a ground humidity (GH) sensor, an environmental humidity (EH) sensor and an environmental temperature (ET) sensor [7]. The periodicity for recording these signals is a function of the type of specimen (plant) of interest and the environmental conditions in which it grows.…”
mentioning
confidence: 99%
“…The proposed design consists of modules placed in specific areas, each module contains a ground humidity (GH) sensor, an environmental humidity (EH) sensor and an environmental temperature (ET) sensor [7]. The periodicity for recording these signals is a function of the type of specimen (plant) of interest and the environmental conditions in which it grows.…”
mentioning
confidence: 99%