Nagy, S., Szabó, R., Vajda, M., & Vörös, A. 2021 nov 22. Demonstrator for dependable edge-based cyber-physical systems. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :