Oxford logo
[BK09c] D. Bucur and M. Kwiatkowska. Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In Proc. 3rd European Conference on Ambient Intelligence (AmI 2009), Springer. To appear. November 2009.
Links: [Google] [Google Scholar] [CiteSeer]

>  Home

>  People

>  Projects

>  Publications


Useful links: