Hochschulschrift
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
176 Bl.
- Language
-
Deutsch
- Notes
-
Jena, Univ., Diss., 1999
- Keyword
-
Programm
Korrektheit
Programmverifikation
Zeiger
Programmschleife
Automatisches Beweisverfahren
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:09 PM CEST
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
Other Objects (12)
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Automatische Testmustergenerierung in synchronen sequentiellen Schaltungen
Automatische Parallelisierung von sequentiellen Programmen unter besonderer Berücksichtigung von Hardware-Beschleunigern
Parallelisierung der automatischen Testmustergenerierung in sequentiellen Schaltungen
"Exception Handling" in sequentiellen Programmen
Automatische Testmustergenerierung für synchrone sequentielle Schaltungen mit Tri-State-Elementen
Automatische Erzeugung von Maschinencode-Optimierern
Automatische Erzeugung vollständiger dreidimensionaler Flächenmodelle
Optimale sequentielle Selektionsprozeduren und optimale sequentielle Stichprobenpläne
Sequentielle Rangauswahlprobleme
Sequentielle Tests
Sequentielle Korrelationsrangtests
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Automatische Testmustergenerierung in synchronen sequentiellen Schaltungen
Automatische Parallelisierung von sequentiellen Programmen unter besonderer Berücksichtigung von Hardware-Beschleunigern
Parallelisierung der automatischen Testmustergenerierung in sequentiellen Schaltungen
"Exception Handling" in sequentiellen Programmen
Automatische Testmustergenerierung für synchrone sequentielle Schaltungen mit Tri-State-Elementen
Automatische Erzeugung von Maschinencode-Optimierern
Automatische Erzeugung vollständiger dreidimensionaler Flächenmodelle
Optimale sequentielle Selektionsprozeduren und optimale sequentielle Stichprobenpläne
Sequentielle Rangauswahlprobleme
Sequentielle Tests
Sequentielle Korrelationsrangtests
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Automatische Testmustergenerierung in synchronen sequentiellen Schaltungen
Automatische Parallelisierung von sequentiellen Programmen unter besonderer Berücksichtigung von Hardware-Beschleunigern
Parallelisierung der automatischen Testmustergenerierung in sequentiellen Schaltungen
"Exception Handling" in sequentiellen Programmen
Automatische Testmustergenerierung für synchrone sequentielle Schaltungen mit Tri-State-Elementen
Automatische Erzeugung von Maschinencode-Optimierern
Automatische Erzeugung vollständiger dreidimensionaler Flächenmodelle
Optimale sequentielle Selektionsprozeduren und optimale sequentielle Stichprobenpläne
Sequentielle Rangauswahlprobleme
Sequentielle Tests