@misc{Jö2023,
Author = {Jörg Walter},
Title = {VALI-CPPS -- Verification And Large-scale Integration for Cyber-Physical Production Systems},

Year = {2023},
Month = {01},
Booktitle = {ENHANCE Workshop (Bridging Communities Workshop Series) at HiPEAC'23},
type = {misc},
Abstract = {An invited talk at the ENHANCE workshop hosted at HiPEAC 2023 about the overall research direction of the DCC group regarding efficient design of robust industrial control systems.}
}
@COMMENT{Bibtex file generated on }