@inproceedings{inproceedings,
Author = {Pfefferkorn, Christian and Mehlhop, Sven and Rauh, Andreas and Walter, Jörg},
Title = {Towards a Methodology for Evaluating the Execution Semantics of IEC 61499 Runtime Environments},

Year = {2024},
Month = {02},
Booktitle = {MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }