Verification Of Data-Intensive Embedded Systems.

Massimo Narizzano Armando Tacchella

Published in: ECMS (2023)

Keyphrases

embedded systems
data intensive
data management
low cost
data access
embedded devices
web services
computing power
embedded software
big data
software systems
grid computing
hardware software
communication technologies
field programmable gate array
data model
formal methods
flash memory
load balancing
data processing