Media type: E-Book; Thesis Title: A Framework for Model-based Testing of Integrated Modular Avionics Other titles: Ein Rahmenwerk zum modellbasierten Testen von Integrierter Modularer Avionik Contributor: Efkemann, Christof [Author]; Peleska, Jan [Degree supervisor]; Haxthausen, Anne E. [Degree supervisor] Published: Bremen: Staats- und Universitätsbibliothek Bremen, 2014 Extent: Online-Ressource Language: English Identifier: Keywords: Avionics, DSM, Domain-specific Modelling, IMA, Integrated Modular Avionics, ITML, Language, MBT, Model-based Testing, MetaEdit, Test Agent, TTCN-3 ; Hochschulschrift Origination: University thesis: Bremen, Universität Bremen, Diss., 2014 Footnote: Access State: Open Access