SIGN IN
SIGN UP
Run time assurance of application-level requirements in wireless sensor networks
Full Text:
Pdf
Buy this Article
Authors:
Jingyuan Li
University of Virginia
Yafeng Wu
University of Virginia
Krasimira Kapitanova
University of Virginia
John A. Stankovic
University of Virginia
Kamin Whitehouse
University of Virginia
Sang H. Son
University of Virginia
2009 Article
Poster
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 11
· Downloads (cumulative): 154
· Citation Count: 1
Published in:
· Proceeding
SenSys '09
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Pages 367-368
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-519-2
doi>
10.1145/1644038.1644105
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SenSys '13
Share:
|
Tags:
application semantics
assurance
design
petri net
requirements/specifications
run time assurance
software
software/program verification
virtual event
wireless sensor networks
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder