Katalog der Deutschen Nationalbibliothek

Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
Neuigkeiten Vom 7. April bis einschließlich 10. April (Ostern) ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind in diesem Zeitraum von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=112484130X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/112484130X
Art des Inhalts Hochschulschrift
Titel Formal Verification of Firmware-Based System-on-Chip Modules / Carlos Villarraga ; Betreuer: Wolfgang Kunz
Person(en) Villarraga, Carlos (Verfasser)
Kunz, Wolfgang (Akademischer Betreuer)
Verlag Kaiserslautern : Technische Universität Kaiserslautern
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2016
Persistent Identifier URN: urn:nbn:de:hbz:386-kluedo-45678
URL https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4567 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Formale Methode ; Model checking ; Programmverifikation ; Hardwareverifikation ; Formale Beschreibungstechnik ; Firmware
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration