1109 search results - page 6 / 222 » Software verification for TinyOS |
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
PERCOM
2007
ACM
13 years 6 months ago
2007
ACM
In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory impl...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
FMSD
2002
13 years 7 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. K