Cited By
View all- Fries JFreund MHarth A(2024)SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical WorldKI 2024: Advances in Artificial Intelligence10.1007/978-3-031-70893-0_8(99-113)Online publication date: 25-Sep-2024
- Mena MCriado JIribarne LCorral AChbeir RManolopoulos Y(2023)Towards high-availability cyber-physical systems using a microservice architectureComputing10.1007/s00607-023-01165-x105:8(1745-1768)Online publication date: 11-Mar-2023