Hochschulschrift
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
In: Düren : Shaker, 2019
RWTH Aachen University, Dissertation, 2018
- Erschienen in
-
Aachener Informatik-Berichte; 2019-03
- Schlagwort
-
Klein- und Mittelbetrieb
Softwareentwicklung
Eingebettetes System
Formale Methode
Software
Unternehmen
Steuergerät
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Kowalewski, Stefan
Engell, Sebastian
- DOI
-
10.18154/RWTH-2019-09536
- URN
-
urn:nbn:de:101:1-2020072907070856334459
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Grobosch, Sebastian Patrick
- Kowalewski, Stefan
- Engell, Sebastian
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2019
Ähnliche Objekte (12)
Automatic test Case generation for PLC software
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Verification of programmable logic controller code using model checking and static analysis
Automatic test Case generation for PLC software
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Verification of programmable logic controller code using model checking and static analysis
Automatic test Case generation for PLC software
A dynamic service-oriented software architecture for the automotive domain
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik