Correctness of Sensor Network Applications by Software Bounded Model Checking
| Autor(en): | Frank Werner, David Faragó | ||
|---|---|---|---|
| Quelle: | 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21 2010, Antwerp, Belgium | ||
