Hochschulschrift
Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2017
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2017
- Urheber
- Beteiligte Personen und Organisationen
-
Kunz, Wolfgang
Heinkel, Ulrich
- URN
-
urn:nbn:de:hbz:386-kluedo-46403
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Bao, Binghao
- Kunz, Wolfgang
- Heinkel, Ulrich
- Technische Universität Kaiserslautern
Entstanden
- 2017
Ähnliche Objekte (12)
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables
Formal verification and automated masking of cryptographic hardware
Hardware
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Speeding up hardware verification by automated data path scaling
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables
Formal verification and automated masking of cryptographic hardware
Hardware
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Speeding up hardware verification by automated data path scaling
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Introduction to formal hardware verification : with 32 tables
Formal verification and automated masking of cryptographic hardware
Hardware
Hardware and software: verification and testing : revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers