> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures Beteiligte: Schuster, Johann [Verfasser]; Siegle, Markus [Akademischer Betreuer]; Hermanns, Holger [Akademischer Betreuer] Erschienen: Neubiberg: Universitätsbibliothek der Universität der Bundeswehr, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Modellbasiertes Testen, Binäres Entscheidungsdiagramm, Markov-Kette mit stetiger Zeit ; MTBDD, multi-level, path-based, elimination, vanishing state ; Hochschulschrift Entstehung: Hochschulschrift: München, Univ. der Bundeswehr, Diss., 2011 Anmerkungen: Zugangsstatus: Freier Zugang