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
Files
document
qt92w6g3md.pdf.txt
document
Mar 11, 2022
4.42 KB
Download
PDF
qt92w6g3md.pdf
pdf
Mar 11, 2022
1.1 MB
Download