- Weitere Titel
-
Kardinalitäten in der Software Verifikation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2016
- Urheber
-
Freiherr von Gleissenthall, Klaus
- Beteiligte Personen und Organisationen
-
Rybalchenko, Andrey
Podelski, Andreas
- URN
-
urn:nbn:de:bvb:91-diss-20160915-1293444-1-7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
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
- Freiherr von Gleissenthall, Klaus
- Rybalchenko, Andrey
- Podelski, Andreas
- Universitätsbibliothek der TU München
Entstanden
- 2016
Ähnliche Objekte (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