> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification Beteiligte: Bao, Binghao [Verfasser]; Kunz, Wolfgang [Akademischer Betreuer]; Heinkel, Ulrich [Akademischer Betreuer] Erschienen: Kaiserslautern: Technische Universität Kaiserslautern, 2017 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2017 Anmerkungen: Zugangsstatus: Freier Zugang