Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.1109/ACCESS.2022.3225736
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2022
- Urheber
-
Mroß, Robin
Schnakenbeck, Aron
Völker, Marcus
Fay, Alexander
Kowalewski, Stefan
- DOI
-
10.18154/RWTH-2023-00543
- URN
-
urn:nbn:de:101:1-2023011901370418020896
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
- Mroß, Robin
- Schnakenbeck, Aron
- Völker, Marcus
- Fay, Alexander
- Kowalewski, Stefan
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2022
Ähnliche Objekte (12)
Safety Recommendations for Safety-Critical Design Patterns
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 dynamic service-oriented software architecture for the automotive domain
A*-based trajectory planning in dynamic environments for autonomous vehicles
Experimental validation and mathematical analysis of cooperative vehicles in a platoon
Testing life cycle-related properties of mobile applications
Real-time Trajectory Optimization for Autonomous Vehicle Racing
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Safety Recommendations for Safety-Critical Design Patterns
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 dynamic service-oriented software architecture for the automotive domain
A*-based trajectory planning in dynamic environments for autonomous vehicles
Experimental validation and mathematical analysis of cooperative vehicles in a platoon
Testing life cycle-related properties of mobile applications
Real-time Trajectory Optimization for Autonomous Vehicle Racing
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Safety Recommendations for Safety-Critical Design Patterns
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 dynamic service-oriented software architecture for the automotive domain
A*-based trajectory planning in dynamic environments for autonomous vehicles
Experimental validation and mathematical analysis of cooperative vehicles in a platoon
Testing life cycle-related properties of mobile applications
Real-time Trajectory Optimization for Autonomous Vehicle Racing
Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements