Media type: E-Book Title: Complete Model-Based Testing Applied to the Railway Domain Other titles: Komplettes Modellbasiertes Testen angewandt auf den Bahnbereich Contributor: Hübner, Felix [Author]; Peleska, Jan [Degree supervisor]; Peleska, Jan [Other]; Mousavi, Mohammad [Other] Published: Bremen: Staats- und Universitätsbibliothek Bremen, 2018 Extent: Online-Ressource Language: English Identifier: Keywords: MBT, Complete Testing sep ETCS, Railway Domain, Interlocking Systems, SystemC, HW/SW Integration Testing, Mutation Analysis Origination: University thesis: Dissertation, Bremen, Universität Bremen, 2018 Footnote: Access State: Open Access