> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Weitere Titel: Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems Beteiligte: Appold, Christian [Verfasser]; Kolla, Reiner [Gutachter]; Scholl, Christoph [Gutachter] Erschienen: Würzburg: Universität Würzburg, 2016 Umfang: Online-Ressource Sprache: Deutsch Identifikator: Schlagwörter: Model Checking ; Algorithmus ; Temporale Logik ; Kripke-Struktur ; Relation ; Programmverifikation ; Modellprüfung ; Geordnetes binäres Entscheidungsdiagramm ; Nebenläufigkeit ; Algorithmen ; Symbolic Model Checking ; Binary Decision Diagram ; Symmetry Reduction ; Image Computation ; Algorithms ; Reachability Analysis ; Concurrent Systems ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Würzburg, Universität Würzburg, 2016 Anmerkungen: Zugangsstatus: Freier Zugang