Logo: German Research InstitutionsGerman Research Institutions

Professur für Verifikation von Hard- und Software

  • Promotion
  • Einrichtungen
  • Projekte / Promotionsmöglichkeiten
  • Top
Universität der Bundeswehr München

Professur für Verifikation von Hard- und Software

Werner-Heisenberg-Weg 39, 85579 Neubiberg

Zur HomepageTheoretische Informatik

Zugehörige Einrichtungen

  • Center for Intelligence and Security Studies (CISS)
  • Fakultät für Bauingenieurwesen und Umweltwissenschaften
  • Fakultät für Betriebswirtschaft
  • Fakultät für Elektrotechnik und Informationstechnik
  • Fakultät für Elektrotechnik und Technische Informatik
  • Fakultät für Humanwissenschaften
  • Fakultät für Informatik
    • Forschungsinstitut Cyber Defence (CODE)
    • Institut für Angewandte Informatik
    • Institut für Schutz und Zuverlässigkeit
    • Institut für Softwaretechnologie
    • Institut für Technische Informatik
    • Institut für Theoretische Informatik, Mathematik und Operations Research
      • Professur für Mathematik
      • Professur für Operations Research
      • Professur für Theoretische Informatik und Mathematische Logik
      • Professur für Verifikation von Hard- und Software
      • Stiftungsjuniorprofessur für Operations Research - Prescriptive Analytics
  • Fakultät für Luft- und Raumfahrttechnik
  • Fakultät für Maschinenbau
  • Fakultät für Staats- und Sozialwissenschaften
  • Fakultät für Wirtschafts- und Organisationswissenschaften
  • Forschungszentrum RISK – Risiko, Infrastruktur, Sicherheit und Konflikt
  • Medienzentrum
  • Universitätsbibliothek