M.Sc. Ibrahim Alagöz


Projekte

Laufende Projekte

Formale Verifikation und Validierung der virtuellen Absicherung komplexer Fahrzeugsicherheitsfunktionen

Integrale Sicherheitsfunktionen leisten einen signifikanten Beitrag zum Schutz von Insassen und Verkehrsteilnehmern. Mithilfe eines Frameworks soll die Absicherung von Sicherheitselektronik mit formalen Methoden verifiziert und validiert werden.

Weiterlesen ...

Weitere Informationen