Home | english  | Impressum | Sitemap | KIT

Correctness of Sensor Network Applications by Software Bounded Model Checking

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