Professor Dr.-Ing. Axel Sikora

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

ORCID-ID 0000-0003-0878-2919

Projekte

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