- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2011
- Schlagwort
-
Softwareentwicklung
Bug
Fehlererkennung
Programmverifikation
Programmextraktion
Softwaretest
Testmustergenerierung
Formale Spezifikationstechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT Scientific Publishing
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
-
Beckert, B.
- DOI
-
10.5445/KSP/1000023002
- URN
-
urn:nbn:de:0072-230029
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Gladisch, Christoph
- Beckert, B.
- KIT Scientific Publishing
Entstanden
- 2011
Ähnliche Objekte (12)
Verification-based software-fault detection
Verification-based software-fault detection
Discriminative Pattern Mining in Software Fault Detection
Using software for fault detection in arithmetical circuits
Observer-based fault detection in nonlinear systems
Observer-based fault detection in nonlinear systems
Efficient fault-injection-based assessment of software-implemented hardware fault tolerance
Observer based fault detection in networked control systems
Data-driven fault detection for component based robotic systems
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems
Robust fuzzy observer-based fault detection for nonlinear systems
Verification-based software-fault detection
Verification-based software-fault detection
Discriminative Pattern Mining in Software Fault Detection
Using software for fault detection in arithmetical circuits
Observer-based fault detection in nonlinear systems
Observer-based fault detection in nonlinear systems
Efficient fault-injection-based assessment of software-implemented hardware fault tolerance
Observer based fault detection in networked control systems
Data-driven fault detection for component based robotic systems
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems
Robust fuzzy observer-based fault detection for nonlinear systems
Verification-based software-fault detection
Verification-based software-fault detection
Discriminative Pattern Mining in Software Fault Detection
Using software for fault detection in arithmetical circuits
Observer-based fault detection in nonlinear systems
Observer-based fault detection in nonlinear systems
Efficient fault-injection-based assessment of software-implemented hardware fault tolerance
Observer based fault detection in networked control systems
Data-driven fault detection for component based robotic systems
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems