- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
xiv, 164 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Universität Bremen, Dissertation, 2022
- Klassifikation
-
Informatik
Elektrotechnik, Elektronik
- Schlagwort
-
Digitale integrierte Schaltung
Hardwareverifikation
Computeralgebra
Hardwareverifikation
Digitale integrierte Schaltung
Computeralgebra
- 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:51 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
Entstanden
- July 6, 2022
Ähnliche Objekte (12)
Verification of integer multipliers on the arithmetic bit level
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 1
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 2
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
Verification of integer multipliers on the arithmetic bit level
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 1
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 2
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
Verification of integer multipliers on the arithmetic bit level
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 1
International Symposium The Geotechnics of Structurally Complex Formations, Vol. 2
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software