Media type: E-Book Title: Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen Other titles: Structural Testing Techniques for the Verification of Existential Temporal Logic Formulae in Extended Finite State Machines Contributor: Spisländer, Marc [Author]; Freiling, Felix C. [Degree supervisor]; Saglietti, Francesca [Other] Published: Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Extent: Online-Ressource Language: German Identifier: Keywords: Zustandsmaschine ; Model Checking ; Formel ; Teilsystem ; Verifikation ; Überdeckung ; EFSM ; Temporal Logic Origination: University thesis: Dissertation, Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Footnote: Access State: Open Access