Using Deductive Cause-Consequence Analysis (DCCA) with SCADE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif. Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 465-478, Springer, 2007. [doi]

This author has not been identified. Look up 'Matthias Güdemann' in GoogleThis author has not been identified. It may be one of the following persons:

Frank Ortmeier

Look up 'Frank Ortmeier' in GoogleThis author has not been identified. It may be one of the following persons:

Wolfgang Reif

Look up 'Wolfgang Reif' in Google

runs on WebDSL