Applied Formal Methods in Wireless Sensor Networks
| Autor(en): | |||
|---|---|---|---|
| Quelle: | Dissertation, Fakultät für Informatik, Universität Karlsruhe, 2009 |
||
KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft