> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Programmanalysen zur Verbesserung der Softwaremodellprüfung Beteiligte: Richter, Dirk [Verfasser]; Zimmermann, Wolf [Akademischer Betreuer]; Knoop, Jens [Akademischer Betreuer] Erschienen: Halle, Saale: Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012 Umfang: Online-Ressource Sprache: Deutsch Identifikator: Schlagwörter: symbolisches Kellersystem (SPDS); Modellreduktion; Modellanalyse; Modellprüfung ; Symbolic Pushdown System (SPDS); Model Reduction; Model Analysis; Model Checking ; Hochschulschrift Entstehung: Hochschulschrift: Halle (Saale), Martin-Luther-Universität Halle-Wittenberg, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang