- Sprache
-
Englisch
- Identifier
-
118449603X
- Thema
-
Softwareentwicklung ; Bug ; Fehlererkennung ; Programmverifikation ; Programmextraktion ; Softwaretest ; Testmustergenerierung ; Formale Spezifikationstechnik ; Hochschulschrift
- Beteiligte Personen und Organisationen
-
Gladisch, Christoph David
Beckert, B.
- DOI
-
10.5445/KSP/1000023002
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 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
- Monografie
Beteiligte
- Gladisch, Christoph David
- Beckert, B.
Ähnliche Objekte (12)
Verification-based software-fault detection
Verification-based software-fault detection
Discriminative Pattern Mining in Software Fault Detection
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
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems
Model based fault detection for a hydraulic servo axis
Observer-based fault detection of technical systems over networks
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
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
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems
Model based fault detection for a hydraulic servo axis
Observer-based fault detection of technical systems over networks
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
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
Fault detection in nonlinear systems : an observer-based approach
Subspace based data-driven designs of fault detection systems
Model based fault detection for a hydraulic servo axis
Observer-based fault detection of technical systems over networks