Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr.-Ing. Axel Sikora

Address Hochschule Offenburg
Institut für verlässliche Embedded Systems und Kommunikationselektronik (ivESK)
Badstraße 24a
77652 Offenburg

ORCID-ID 0000-0003-0878-2919

Projects

As Applicant
- Current projects
  - Incremental Development, Incremental Checking: Software Model Checking of Temporal HAL Interface Specifications for Embedded Systems with a Hardware Abstraction Layer (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy