Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.

Vladimir Estivill-Castro René Hexel

Published in: MODELSWARD (2018)

Keyphrases

embedded systems
embedded real time systems
computing power
embedded devices
resource limited
image processing
low cost
real time image processing
hardware software
real time
web services
wireless communication
communication technologies
field programmable gate array
processing power
consumer electronics