This shows you the differences between two versions of the page.
|
en:lehre:abschlussarbeiten [2009/09/21 21:56] brauer |
en:lehre:abschlussarbeiten [2009/10/27 11:39] (current) brauer |
||
|---|---|---|---|
| Line 44: | Line 44: | ||
| * [[:en:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] | * [[:en:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] | ||
| - | * Static Analysis of Microcontroller Software using SAT- and Constraint-Solving | + | * [[:en:lehre:abschlussarbeiten:statische_analyse_mittels_sat_solving]] |
| * [[:en:lehre:abschlussarbeiten:transformation_abstrakter_verhaltensmodelle_von_regelstrecken]] | * [[:en:lehre:abschlussarbeiten:transformation_abstrakter_verhaltensmodelle_von_regelstrecken]] | ||