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

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy

Browse the full IDEAL paper archive.