Sciweavers

221 search results - page 11 / 45
» Embedded Fingerprint Verification System
Sort
View
161
Voted
FDL
2007
IEEE
15 years 10 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
141
Voted
ICECCS
2009
IEEE
116views Hardware» more  ICECCS 2009»
16 years 1 months ago
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
Fateh Boutekkouk, Mohamed Benmohammed
142
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
15 years 12 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar