direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Elke Salecker

Short curriculum vitae

Abschlüsse

  • Diplom in Informatik
    Humboldt-Universität zu Berlin (2005)

Forschungsinteressen

  • Methoden der Qualitätssicherung für Compiler

    • Formale Verifikation
    • Testautomatisierung

  • Methoden der Qualitätssicherung für MATLAB-Simulink/Stateflow Modelle

    • Statische Analysen
    • Slicing Techniken

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe