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

Detailseite

Institution

Druckansicht

Hochschule Offenburg
Institut für verlässliche Embedded Systems und Kommunikationselektronik (ivESK)

Adresse Badstraße 24a
77652 Offenburg
Deutschland

GERiT Diese Institution in GERiT

77652 Offenburg

Projekte

Sachbeihilfen
- laufende Projekte
  - Inkrementelle Entwicklung, kontinuierliche Überprüfung: Software Model Checking von temporären HAL- Schnittstellenspezifikationen für eingebettete Systeme mit Hardware-Abstraktionsschicht
    (Antragsteller Podelski, Andreas ; Sikora, Axel )

© 2024 DFG Kontakt / Impressum / Datenschutz