Skip to content

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.

Matthias Gdemann, Frank Ortmeier, Wolfgang Reif

Year2007
ProceedingsSAFECOMP

Browse the full SAFECOMP paper archive.