- Alternative title
-
Kardinalitäten in der Software Verifikation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2016
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2016
- Creator
-
Freiherr von Gleissenthall, Klaus
- Contributor
-
Rybalchenko, Andrey
Podelski, Andreas
- URN
-
urn:nbn:de:bvb:91-diss-20160915-1293444-1-7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- Freiherr von Gleissenthall, Klaus
- Rybalchenko, Andrey
- Podelski, Andreas
- Universitätsbibliothek der TU München
Time of origin
- 2016
Other Objects (12)
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Software verification for programmable logic controllers
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Validation and verification of software process models
Validation and verification of software process models
Software verification for programmable logic controllers
Automated verification of system requirements and software specifications
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Software verification for programmable logic controllers
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Validation and verification of software process models
Validation and verification of software process models
Software verification for programmable logic controllers
Automated verification of system requirements and software specifications
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Software verification for programmable logic controllers
Optimized hybrid verification of embedded software
Verification of temporal properties in embedded software
Validation and verification of software process models
Validation and verification of software process models
Software verification for programmable logic controllers