Design Assurance Evaluation of Microcontrollers for safety critical Avionics.

Andreas Schwierz Håkan Forsberg

Published in: CoRR (2018)

Keyphrases

safety critical
embedded systems
case study
support systems
real time
data mining
cooperative
user interface
knowledge based systems
formal methods