> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A framework for automated HW/SW co-verification of SystemC designs using tmed automata Beteiligte: Herber, Paula [Verfasser:in] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Eingebettetes System > CASHE > Verifikation > SystemC > Zeitbehafteter Automat > Model Checking > Konformitätsprüfung > Qualitätssicherung Entstehung: Hochschulschrift: Berlin, Techn. Univ., Diss., 2010 Anmerkungen: Zugangsstatus: Freier Zugang