> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Causality Checking of Safety-Critical Software and Systems Beteiligte: Leitner-Fischer, Florian [Verfasser:in] Erschienen: Konstanz: Bibliothek der Universität Konstanz, 2015 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: causality, model checking, verification ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Konstanz, Universität Konstanz, 2015 Anmerkungen: Zugangsstatus: Freier Zugang