Hochschulschrift
Integration of verification and testing into compilation systems : concept and case study
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Berlin, Techn. Univ., Diss., 2001
- Keyword
-
Compiler
Korrektheit
Beweis
Konsistenzprüfung
Algebraische Spezifikation
Programmverifikation
- Creator
-
Didrich, Klaus
- URN
-
urn:nbn:de:kobv:83-opus-2275
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 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
- Didrich, Klaus
Other Objects (12)
Computer logic, testing and verification
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Integrated Module Testing and Module Verification
Integrated module testing and module verification
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Formal Specification, Testing and Verification on the Truck Simulation
Computer logic, testing and verification
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Integrated Module Testing and Module Verification
Integrated module testing and module verification
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Formal Specification, Testing and Verification on the Truck Simulation
Computer logic, testing and verification
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Integrated Module Testing and Module Verification
Integrated module testing and module verification
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Algorithms and Tools for Verification and Testing of Asynchronous Programs