Open AccessA Diagnosis Framework for Critical Systems Verification
Author(s) -
Vincent Leildé,
Vincent Ribaud,
Ciprian Teodorov,
Philippe Dhaussy
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - structuring , computer science , medical diagnosis , root cause , process (computing) , meaning (existential) , root (linguistics) , fuzzy logic , natural language processing , artificial intelligence , reliability engineering , linguistics , psychology , programming language , engineering , medicine , philosophy , finance , pathology , economics , psychotherapist