Login / Signup
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