Login / Signup
Towards a verification approach for reconfigurable embedded systems.
Fatma Krichen
Amal Gassara
Bechir Zalila
Mohamed Jmaiel
Published in:
ISCC (2012)
Keyphrases
</>
embedded systems
low cost
field programmable gate array
smart camera
embedded devices
computing power
embedded software
processing power
real time systems
hardware software
embedded real time systems
hw sw
resource limited
hardware and software
model checking
real time image processing
software systems
safety critical
consumer electronics
computer simulation
protocol stack
real time
hardware implementation
multi agent
image processing