Search Sciweavers | Sciweavers

1109 search results - page 27 / 222

» Software verification for TinyOS

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

15 years 7 months ago

Download www.date-conference.com

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

claim paper

Read More »

click to vote

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

15 years 7 months ago

Download www.cs.wmich.edu

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

claim paper

Read More »

115

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 7 months ago

Download paper.ijcsns.org

Satoshi Yamane

claim paper

Read More »

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 2 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers