Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.1109/ACCESS.2022.3225736
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
-
Mroß, Robin
Schnakenbeck, Aron
Völker, Marcus
Fay, Alexander
Kowalewski, Stefan
- DOI
-
10.18154/RWTH-2023-00543
- URN
-
urn:nbn:de:101:1-2023011901370418020896
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM CEST
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
- Mroß, Robin
- Schnakenbeck, Aron
- Völker, Marcus
- Fay, Alexander
- Kowalewski, Stefan
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
Other Objects (12)
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
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
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
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
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
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
Verification of programmable logic controller code using model checking and static analysis
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
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
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
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
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
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
Verification of programmable logic controller code using model checking and static analysis
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
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
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
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
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
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