Hochschulschrift
Next generation design for testability, debug and reliability using formal techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
vii, 170 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Universität Bremen, Dissertation, 2020
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wann)
-
März 2020
- Urheber
-
Huhn, Sebastian Michael
- 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:52 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
- Huhn, Sebastian Michael
Entstanden
- März 2020
Ähnliche Objekte (12)
Beamforming techniques for next generation communication systems
Next generation backscatter communication: systems, techniques, and applications
Sample preparation with nanomaterials : next generation techniques and applications
Next Generation Imaging Techniques to Define Immune Topographies in Solid Tumors
Formal models of source reliability
Formal models of source reliability
Next-Generation-Sequenzierung – Next-Generation-Qualität in der Pädiatrie
Next Generation Sequencing
Next Generation Pathology
Next Generation Sequencing
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Beamforming techniques for next generation communication systems
Next generation backscatter communication: systems, techniques, and applications
Sample preparation with nanomaterials : next generation techniques and applications
Next Generation Imaging Techniques to Define Immune Topographies in Solid Tumors
Formal models of source reliability
Formal models of source reliability
Next-Generation-Sequenzierung – Next-Generation-Qualität in der Pädiatrie
Next Generation Sequencing
Next Generation Pathology
Next Generation Sequencing
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Beamforming techniques for next generation communication systems
Next generation backscatter communication: systems, techniques, and applications
Sample preparation with nanomaterials : next generation techniques and applications
Next Generation Imaging Techniques to Define Immune Topographies in Solid Tumors
Formal models of source reliability
Formal models of source reliability
Next-Generation-Sequenzierung – Next-Generation-Qualität in der Pädiatrie
Next Generation Sequencing
Next Generation Pathology
Next Generation Sequencing
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment