Monografie
A system-theoretic safety engineering approach for software-intensive systems
- Edition
-
1. Auflage
- Language
-
Englisch
- Extent
-
215 Seiten
- ISBN
-
978-3-7369-9492-8
- Identifier
-
112700736X
Subject
Sicherheitskritisches System ; Softwareentwicklung ; Softwaretest ; Sicherheitsanalyse ; Risikoanalyse ; Model Checking ; Testmustergenerierung ; Anforderungsdefinition ; Abstandsregeltempomat ; Autonomes Fahrzeug ; Hochschulschrift
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:54 AM CEST
Object type
- Monografie
Other Objects (12)
State of the art software development in the automotive industry and analysis upon applicability of software fault prediction
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Tests and proofs : 4th international conference ; proceedings
Aspect-oriented security engineering : a model-based approach
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Security in autonomous driving
Tests and proofs : 6th international conference ; proceedings
State of the art software development in the automotive industry and analysis upon applicability of software fault prediction
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Tests and proofs : 4th international conference ; proceedings
Aspect-oriented security engineering : a model-based approach
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Security in autonomous driving
Tests and proofs : 6th international conference ; proceedings
State of the art software development in the automotive industry and analysis upon applicability of software fault prediction
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Tests and proofs : 4th international conference ; proceedings
Aspect-oriented security engineering : a model-based approach
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Tests and proofs : second international conference ; proceedings
Tests and proofs : third international conference ; proceedings
Security in autonomous driving