A Formal Basis for Some Dependability Notions.

Published in: 10th Anniversary Colloquium of UNU/IIST (2002)

Keyphrases

mathematical theory
ambient intelligence
starting point
databases
neural network
image processing
multi agent systems
complex systems
model theoretic
real world
genetic algorithm
decision trees
information technology
formal model
formal models