Personenprofil

Univ.Lektorin
El-Araby Nahla
PhD
Telefon +43 1 58801 - 185 186
Zugeordnet
E194-05
Forschungsbereich Compilers and Languages
E350
Fakultät für Elektrotechnik und Informationstechnik
E384
Institut für Computertechnik

Profil

Forschungsprofil (Deutsch):
Formale Überprüfung
Eingebettete Systeme
FPGA-Design
Hardware-Überprüfung
Forschungsprofil (Englisch):
Formal Verification
Embedded systems
FPGA design
Hardware Verification
Publikationen: