Professur für Verifikation von Hard- und Software in GERiT

Professur für Verifikation von Hard- und Software

Zur HomepageID 151062523Theoretische Informatik

Werner-Heisenberg-Weg 39
85579 Neubiberg

Promotionsmöglichkeit hier klicken

Center for Intelligence and Security Studies (CISS)Zur Einrichtung
Fakultät für Bauingenieurwesen und UmweltwissenschaftenZur Einrichtung
Fakultät für BetriebswirtschaftZur Einrichtung
Fakultät für Elektrotechnik und InformationstechnikZur Einrichtung
Fakultät für Elektrotechnik und Technische InformatikZur Einrichtung
Fakultät für HumanwissenschaftenZur Einrichtung
Fakultät für InformatikZur Einrichtung
- Forschungsinstitut Cyber Defence (CODE)Zur Einrichtung
- Institut für Angewandte InformatikZur Einrichtung
- Institut für Schutz und ZuverlässigkeitZur Einrichtung
- Institut für SoftwaretechnologieZur Einrichtung
- Institut für Technische InformatikZur Einrichtung
- Institut für Theoretische Informatik, Mathematik und Operations ResearchZur Einrichtung
  - Professur für MathematikZur Einrichtung
  - Professur für Operations ResearchZur Einrichtung
  - Professur für Theoretische Informatik und Mathematische LogikZur Einrichtung
  - Professur für Verifikation von Hard- und Software
  - Stiftungsjuniorprofessur für Operations Research - Prescriptive AnalyticsZur Einrichtung
Fakultät für Luft- und RaumfahrttechnikZur Einrichtung
Fakultät für MaschinenbauZur Einrichtung
Fakultät für Staats- und SozialwissenschaftenZur Einrichtung
Fakultät für Wirtschafts- und OrganisationswissenschaftenZur Einrichtung
Forschungszentrum RISK – Risiko, Infrastruktur, Sicherheit und KonfliktZur Einrichtung
MedienzentrumZur Einrichtung
UniversitätsbibliothekZur Einrichtung

Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?

Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular