Friederike Bruns, Sven Melhop, Bianca Wiesmayr, Alois Zoitl,
"Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems"
: MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Seite(n) 234-244, 3-2024
Original Titel:
Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems
Sprache des Titels:
Englisch
Original Buchtitel:
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Seitenreferenz:
234-244
Erscheinungsmonat:
3
Erscheinungsjahr:
2024
Anzahl der Seiten:
16
Notiz zur Publikation:
2024 IEEE International Conference on Industrial Technology (ICIT), Bristol UK
Forschungs-