Search Sciweavers | Sciweavers

289 search results - page 6 / 58

» Verification Patterns for Rapid Embedded System Verification

139

click to vote

CCR
2004

151views more CCR 2004»

Practical verification techniques for wide-area routing

15 years 4 months ago

Download nms.lcs.mit.edu

Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...

Nick Feamster

claim paper

Read More »

click to vote

SMC
2007
IEEE

88views Control Systems» more SMC 2007»

An embedded face verification system against image degradation

15 years 11 months ago

Download image.korea.ac.kr

Sang-Woong Lee, Seong-Whan Lee

claim paper

Read More »

116

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

15 years 11 months ago

Download www.artist-embedded.org

Fateh Boutekkouk, Mohamed Benmohammed

claim paper

Read More »

124

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

15 years 11 months ago

Download www.cse.iitb.ac.in

Gérard Berry

claim paper

Read More »

113

click to vote

DATE
2005
IEEE

99views Hardware» more DATE 2005»

Verification of Embedded Memory Systems using Efficient Memory Modeling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers