Search Sciweavers | Sciweavers

1109 search results - page 27 / 222

» Software verification for TinyOS

127

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

15 years 11 months ago

Download www.date-conference.com

Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...

claim paper

Read More »

103

click to vote

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

15 years 10 months ago

Download www.cs.wmich.edu

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...

claim paper

Read More »

146

click to vote

EUC
2005
Springer

97views Applied Computing» more EUC 2005»

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software

15 years 10 months ago

Download paper.ijcsns.org

Satoshi Yamane

claim paper

Read More »

118

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 5 months ago

Download eprints.eemcs.utwente.nl

Eduardo Zambon

claim paper

Read More »

click to vote

ECEASST
2008

46views more ECEASST 2008»

Dynamic Software Architectures Verification using DynAlloy

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers