Uni-Logo
Sie sind hier: Startseite Fachgebiete von A-Z
Artikelaktionen

Fachgebiete von A-Z

Fachgebiet: Verifikation, Test and Zuverlässigkeit von Eingebetteten Systemen

Zurück zur Auswahl des Fachgebiets

Prof. Dr. Bernd Becker

Technische Fakultät
Institut für Informatik (IIF)
Rechnerarchitektur und Betriebssysteme
Georges-Köhler-Allee 51, 79110 Freiburg

Telefon: +49(0) 761 / 203-8141
Telefax: +49(0) 761 / 203-8142
                                                                               Foto: Bernd Becker
E-Mail: becker@informatik.uni-freiburg.de
Webseite: http://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=4

Mitgliedschaft
BrainLinks-BrainTools
Zentrum für Sicherheit und Gesellschaft

 

Fachgebiet

Verifikation, Test and Zuverlässigkeit von Eingebetteten Systemen
Stichworte: AVACS: Automatic Verification and Analysis of Complex Systems; Sicherheit: Safety and Security; NeuroBots: Gehirnkontrollierte intelligente Robotik
Andere Fachgebiete:

Zurück zur Auswahl des Fachgebiets

Kontakt

Anfragen richten Sie bitte an:

Manuel Devant

Manuel Devant
Tel.: (+49) 0761 203 98605
manuel.devant@pr.uni-freiburg.de


Für Experten aus der Uniklinik:

Benjamin Waschow

Benjamin Waschow

Tel.: (+49) 0761 270 19090
benjamin.waschow@uniklinik-freiburg.de

Benutzerspezifische Werkzeuge