*Result*: Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software

*Publication*:
Ingolstadt : Technische Hochschule Ingolstadt, 2021
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*Dissertation note*:
Bachelorarbeit, Ingolstadt, Technische Hochschule Ingolstadt