Publication OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Towards a Methodology for Evaluating the Execution Semantics of IEC 61499 Runtime Environments

Export

All authors

Pfefferkorn, Christian and Mehlhop, Sven and Rauh, Andreas and Walter, Jörg

Booktitle

MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Publishing date

02 / 2024

Type of Publication

inproceedings

OFFIS Autoren

Dr.-Ing. Jörg Walter

Dr.-Ing.
Jörg Walter

M.Sc. Sven Mehlhop

Sven Mehlhop, M.Sc.

M.Sc. Christian Pfefferkorn

Christian Pfefferkorn, M.Sc.

Privacy Data Transparency Contact Legals