This shows you the differences between two versions of the page.
|
en:lehre:abschlussarbeiten:statische_analyse_mittels_sat_solving [2009/10/27 12:23] brauer |
en:lehre:abschlussarbeiten:statische_analyse_mittels_sat_solving [2009/10/27 12:25] (current) brauer |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| * Java | * Java | ||
| * Basic knowledge of embedded systems and microcontroller programming | * Basic knowledge of embedded systems and microcontroller programming | ||
| + | |||
| + | ===== Student ===== | ||
| + | |||
| + | * Lucas Brutschy | ||
| ===== Tutor ===== | ===== Tutor ===== | ||
| * [[:en:lehrstuhl:mitarbeiter:brauer]] | * [[:en:lehrstuhl:mitarbeiter:brauer]] | ||