Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Badstraße 24a
77652 Offenburg
Deutschland

GERiT This institution in GERiT

77652 Offenburg

Projects

Research Grants
- Current projects
  - Incremental Development, Incremental Checking: Software Model Checking of Temporal HAL Interface Specifications for Embedded Systems with a Hardware Abstraction Layer
    (Applicants Podelski, Andreas ; Sikora, Axel )

© 2024 DFG Disclaimer / Copyright / Privacy Policy