Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Étienne Leclercq, Jonathan Rivalan. VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time. In Jiman Hong, Juw Won Park, editors, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. pages 1252-1261, ACM, 2024. [doi]
Abstract is missing.