> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen Weitere Titel: Structural Testing Techniques for the Verification of Existential Temporal Logic Formulae in Extended Finite State Machines Beteiligte: Spisländer, Marc [Verfasser:in]; Freiling, Felix C. [Akademische:r Betreuer:in]; Saglietti, Francesca [Sonstige Person, Familie und Körperschaft] Erschienen: Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Umfang: Online-Ressource Sprache: Deutsch Identifikator: Schlagwörter: Zustandsmaschine ; Model Checking ; Formel ; Teilsystem ; Verifikation ; Überdeckung ; EFSM ; Temporal Logic Entstehung: Hochschulschrift: Dissertation, Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018 Anmerkungen: Zugangsstatus: Freier Zugang