On Using Blockchains for Safety-Critical Systems.

Christian Berger Birgit Penzenstadler Olaf Drögehorn

Published in: CoRR (2018)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
agent architecture
embedded systems
support systems
distributed systems
real time
adaptive systems
expert systems
case based reasoning
source code
decision support
knowledge based systems
learning systems