Hugo Forraz, Shems Petremand, Claire Soyez-Martin, David Nowak, Gilles Grimaud. Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case. In Ioan Dumitrache, Mihnea Alexandru Moisescu, Florin Pop, Dana Copot, Dragos Popescu, editors, 25th International Conference on Control Systems and Computer Science, CSCS 2025, Bucharest, Romania, May 27-30, 2025. pages 568-571, IEEE, 2025. [doi]
Abstract is missing.