direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Elke Salecker

Short curriculum vitae

Degrees


  • Diploma  in Computer Science
    Humboldt-Universität zu Berlin (2005)

Research Interests


  • Quality assurance methods for compilers

    • Formal verification
    • Test automization

  • Quality assurance methods for MATLAB-Simulink/Stateflow models

    • Static analysis
    • Slicing techniques

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe