- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Journal of Systems and Software 214: 112082 (2024-08-01)
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Technische Universität Hamburg. Universitätsbibliothek
- (when)
-
2024
- Creator
- DOI
-
10.15480/882.9611
- URN
-
urn:nbn:de:101:1-2406120309140.297232265041
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Mohamad, Mazen
- Steghöfer, Jan-Philipp
- Knauss, Eric
- Scandariato, Riccardo
- Technische Universität Hamburg. Universitätsbibliothek
Time of origin
- 2024
Other Objects (12)
Safety Recommendations for Safety-Critical Design Patterns
Safety-Critical Control for Ensemble Systems
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Security Engineering in Safety-critical Railway Signalling
Deductive verification of safety-critical Java programs
Multi-concerns engineering for safety-critical systems
ELISA - Advancing Open Source Safety-Critical Systems
Manycore Operating Systems for Safety-Critical Systems
Causality Checking of Safety-Critical Software and Systems
SCCharts: sequentially constructive statecharts for safety-critical applications
Software product line engineering for safety-critical systems
Safety Recommendations for Safety-Critical Design Patterns
Safety-Critical Control for Ensemble Systems
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Security Engineering in Safety-critical Railway Signalling
Deductive verification of safety-critical Java programs
Multi-concerns engineering for safety-critical systems
ELISA - Advancing Open Source Safety-Critical Systems
Manycore Operating Systems for Safety-Critical Systems
Causality Checking of Safety-Critical Software and Systems
SCCharts: sequentially constructive statecharts for safety-critical applications
Software product line engineering for safety-critical systems
Safety Recommendations for Safety-Critical Design Patterns
Safety-Critical Control for Ensemble Systems
Design patterns for safety-critical embedded systems
Empirical evaluations of safety-critical embedded systems
Security Engineering in Safety-critical Railway Signalling
Deductive verification of safety-critical Java programs
Multi-concerns engineering for safety-critical systems
ELISA - Advancing Open Source Safety-Critical Systems
Manycore Operating Systems for Safety-Critical Systems
Causality Checking of Safety-Critical Software and Systems
SCCharts: sequentially constructive statecharts for safety-critical applications