Home | deutsch  | Legals | Sitemap | KIT

Correctness of Sensor Network Applications by Software Bounded Model Checking

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