Evaluation of a formalized encryption library for safety-critical embedded systems.

Thorsten Schulz Frank Golatowski Dirk Timmermann

Published in: ICIT (2017)

Keyphrases

embedded systems
safety critical
low cost
safety analysis
embedded devices
embedded software
agent architecture
software systems
fault tolerant
machine learning
support systems
database systems
field programmable gate array