An Organizing System to Perform and Enable Verification and Diagnosis Activities.

Vincent Leilde Vincent Ribaud Philippe Dhaussy

Published in: IDEAL (2016)

Keyphrases

activity recognition
model based diagnosis
decision making
fault diagnosis
model checking
formal verification
website
human activities
databases
case study
expert systems
automatic diagnosis