Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und Angewandte Informatik
Lehrstuhl für Grundlagen der Informatik

Adresse Gutenbergstraße 13
96050 Bamberg
Deutschland

GERiT Diese Institution in GERiT

96050 Bamberg

Projekte

Sachbeihilfen
- laufende Projekte
  - PREcision Time SYnchronous Processing Transfer (PRETSY Transfer)
    (Antragsteller von Hanxleden, Reinhard ; Mendler, Ph.D., Michael )
- abgeschlossene Projekte
  - Konstruktive Modallogiken für die semantische Spezifikation von Prozessen der betriebswirtschaftlichen Prüfung von Unternehmen
    (Antragsteller Mendler, Ph.D., Michael )
  - Synchrone Programmierung eingebetteter reaktiver Echtzeitsysteme mit validierten Zykluszeiten
    (Antragsteller von Hanxleden, Reinhard ; Mendler, Ph.D., Michael )

© 2026 DFG Kontakt / Impressum / Datenschutz