Deriving State Machines from TinyOS programs using Symbolic Execution - Meru Sandbox
Skip to content
Meru Sandbox
Search
Menu
/
Test Community with Units
/
Center for Embedded Network Sensing
/
Posters
/
Ramesh Govindan
Nupur Kothari
Todd Millstein
145 Views
96 Downloads
Full Text
Metadata
Files
Contributors
Metrics