Early Prototyping of Wireless Sensor Network Algorithms in PVS

Erstveröffentlichung
2008
Authors
Bernardeschi, Cinzia
Masci, Paolo
Pfeifer, Holger
Beitrag zu einer Konferenz


Published in
Computer safety, reliability, and security / Harrison, Michael D. ; Sujan, Mark-Alexander ; Harrison, Michael Douglas (Hrsg.). - Berlin : Springer, 2008. - (Lecture Notes in Computer Science ; 5219). - S. 346-359. - ISBN 978-3-540-87697-7. - ISSN 0302-9743. - eISSN 1611-3349
Link to publication
https://dx.doi.org/10.1007/978-3-540-87698-4_29
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Künstliche Intelligenz
Conference
27th International Conference on Computer Safety, Reliability and Security, 2008-09-22 - 2008-09-25, Newcastle upon Tyne
Subject headings
[Free subject headings]: WSN algorithms | simulation | PVS
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record