- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2023
- Schlagwort
-
Softwaretest
Programmverifikation
Formale Methode
Model Checking
Testmustergenerierung
Bug
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Kowalewski, Stefan
Weyrich, Michael
- DOI
-
10.18154/RWTH-2023-08196
- URN
-
urn:nbn:de:101:1-2024021500344423407697
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:31 MESZ
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.
Beteiligte
- Simon, Hendrik
- Kowalewski, Stefan
- Weyrich, Michael
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Runtime supervision of PLC programs using discrete-event systems
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Safety Recommendations for Safety-Critical Design Patterns
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
A*-based trajectory planning in dynamic environments for autonomous vehicles
Runtime supervision of PLC programs using discrete-event systems
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Safety Recommendations for Safety-Critical Design Patterns
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
A*-based trajectory planning in dynamic environments for autonomous vehicles
Runtime supervision of PLC programs using discrete-event systems
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Safety Recommendations for Safety-Critical Design Patterns
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Systematic derivation of feature-driven and risk-based test strategies for automotive applications