Towards verified programming of embedded devices.

Jean-Pierre Talpin Jean-Joseph Marty Shravan Narayan Deian Stefan Rajesh Gupta

Published in: DATE (2019)

Keyphrases

embedded devices
embedded systems
mobile devices
consumer electronics
home automation
home appliances
real time
data storage
limited memory
flash memory
management system