Hochschulschrift
Advanced utilization of formal methods in automatic test pattern generation for industrial designs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844005028
- Dimensions
-
21 cm, 237 g
- Extent
-
VIII, 150 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2011
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Integrierte Schaltung
CAT
Fehlermodell
ATPG
Erfüllbarkeitsproblem
Boolesche Formel
Konjunktive Normalform
Binäres Entscheidungsdiagramm
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2011
- Creator
-
Tille, Daniel
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:04 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Tille, Daniel
- Shaker
Time of origin
- 2011
Other Objects (12)
Industrial energy management and utilization
Parallel Pattern Compiler for Automatic Global Optimizations
Automatic media monitoring using stochastic pattern recognition techniques
Automatic identification and utilization of custom instructions for network processors
Industrial chemistry - for advanced students
Industrial chemistry - for advanced students
Computational intelligence paradigms in advanced pattern classification
Herbal medicine in central Ethiopia : utilization pattern and its pharmazeutical significance
Significance of Development Stage Theory for Explaining Industrial Growth Pattern between Asian NICs and Selected Advanced Economies
Automatic Synthesis and Verification of Industrial Commissioning Processes
On automatic machine learning for industrial condition monitoring
LIDAR based semi-automatic pattern recognition within an archaeological landscape
Industrial energy management and utilization
Parallel Pattern Compiler for Automatic Global Optimizations
Automatic media monitoring using stochastic pattern recognition techniques
Automatic identification and utilization of custom instructions for network processors
Industrial chemistry - for advanced students
Industrial chemistry - for advanced students
Computational intelligence paradigms in advanced pattern classification
Herbal medicine in central Ethiopia : utilization pattern and its pharmazeutical significance
Significance of Development Stage Theory for Explaining Industrial Growth Pattern between Asian NICs and Selected Advanced Economies
Automatic Synthesis and Verification of Industrial Commissioning Processes
On automatic machine learning for industrial condition monitoring
LIDAR based semi-automatic pattern recognition within an archaeological landscape
Industrial energy management and utilization
Parallel Pattern Compiler for Automatic Global Optimizations
Automatic media monitoring using stochastic pattern recognition techniques
Automatic identification and utilization of custom instructions for network processors
Industrial chemistry - for advanced students
Industrial chemistry - for advanced students
Computational intelligence paradigms in advanced pattern classification
Herbal medicine in central Ethiopia : utilization pattern and its pharmazeutical significance
Significance of Development Stage Theory for Explaining Industrial Growth Pattern between Asian NICs and Selected Advanced Economies
Automatic Synthesis and Verification of Industrial Commissioning Processes
On automatic machine learning for industrial condition monitoring