- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
24 cm
- Umfang
-
XIV, 348 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Saarbrücken, Univ., Diss., 2001
- Schlagwort
-
Mikroprozessor
Pipeline-Verarbeitung
Korrektheit
Hardwareverifikation
Formale Methode
Mikroprozessor ; Pipeline-Verarbeitung ; Korrektheit ; Hardwareverifikation ; Formale Methode
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:42 MESZ
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
Ähnliche Objekte (12)
Formal verification of recursive predicates
Formal Verification of Concurrent Embedded Software
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal verification of the pastry protocol
Formal verification of structurally complex multipliers
Formal verification of pipelined microprocessors
Advanced automation in formal verification of processors
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification of a microkernel
Verification of Security Properties Using Formal Techniques
Formal verification of recursive predicates
Formal Verification of Concurrent Embedded Software
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal verification of the pastry protocol
Formal verification of structurally complex multipliers
Formal verification of pipelined microprocessors
Advanced automation in formal verification of processors
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification of a microkernel
Verification of Security Properties Using Formal Techniques
Formal verification of recursive predicates
Formal Verification of Concurrent Embedded Software
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal verification of the pastry protocol
Formal verification of structurally complex multipliers
Formal verification of pipelined microprocessors
Advanced automation in formal verification of processors
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification of a microkernel