Search Sciweavers | Sciweavers

1376 search results - page 64 / 276

» Model-Driven Software Verification

144

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

16 years 18 days ago

Download www.date-conference.com

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

claim paper

Read More »

120

click to vote

DATE
2006
IEEE

107views Hardware» more DATE 2006»

Disjunctive image computation for embedded software verification

16 years 6 days ago

Download www.cs.wmich.edu

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

claim paper

Read More »

178

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

Download paper.ijcsns.org

Satoshi Yamane

claim paper

Read More »

146

click to vote

IPSN
2010
Springer

129views Sensor Networks» more IPSN 2010»

Software verification for TinyOS

15 years 8 months ago

Download www.daimi.au.dk

Doina Bucur, Marta Z. Kwiatkowska

claim paper

Read More »

137

click to vote

GG
2010
Springer

135views Theoretical Computer Science» more GG 2010»

Using Graph Transformations and Graph Abstractions for Software Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers