Correctness of Sensor Network Applications by Software Bounded Model Checking
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-15898-8 ISSN: 0302-9743 KITopen-ID: 1000028136 |
| Erschienen in | Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Ed.: S. Kowalewski |
| Verlag | Springer Verlag |
| Seiten | 115-131 |
| Serie | Lecture Notes in Computer Science ; 6371 |