*Result*: Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software
*Title*:
Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software / Jan-Moritz Galler ; Andreas Frey, Ulrich Margull
*Author/editor-in-chief*:
*Publication*:
Ingolstadt : Technische Hochschule Ingolstadt, 2021
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Bachelorarbeit, Ingolstadt, Technische Hochschule Ingolstadt