KIT | KIT-Bibliothek | Impressum | Datenschutz

Correctness of Sensor Network Applications by Software Bounded Model Checking

Werner, F.; Faragó, D.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 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, Berlin
Seiten 115-131
Serie Lecture Notes in Computer Science ; 6371
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page