Reliability and Security for Safety-Critical Service Compositions.

Kevin Theuermann

Published in: ICISS (2020)

Keyphrases

safety critical
service compositions
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
information security
regulatory requirements
adaptive systems
artificial intelligence
reliability analysis
public health
learning systems
learning styles