Towards Executable Dependability Properties.

Jürgen Dobaj Johannes Iber Michael Krisper Christian Kreiner

Published in: EuroSPI (2018)

Keyphrases

real time
complex systems
structural properties
topological properties
learning algorithm
wide range
expert systems
data model
desirable properties