Robustness Check for Multiple Faults Using Formal Techniques.

Stefan Frehse Görschwin Fey André Sülflow Rolf Drechsler

Published in: DSD (2009)

Keyphrases

multiple faults
fault diagnosis
discrete event
neural network
social networks
multiscale
formal model
formal methods
database
information retrieval
genetic algorithm
image processing
decision trees
face recognition
mathematical model
formal specification