Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2009/08/07 11:37] schlich |
lehrstuhl:mitarbeiter:schlich [2009/08/07 11:39] schlich |
||
|---|---|---|---|
| Zeile 50: | Zeile 50: | ||
| ===== Research Interests ===== | ===== Research Interests ===== | ||
| - | * Formal methods | + | * Formale Methoden |
| - | * Software model checking | + | * Software Model-Checking |
| - | * Static analysis | + | * Statische Analyse |
| - | * Abstract interpretation | + | * Abstrakte Interpretation |
| - | * Embedded Software | + | * Eingebettete Software |
| - | * Assembly code | + | * Assembler-Code |
| - | * C code | + | * C-Code |
| - | * Microcontroller | + | * Mikrocontroller |
| - | * Programmable Logic Controller | + | * Speicherprogrammierbare Steuerungen |
| ===== Publikationen ===== | ===== Publikationen ===== | ||