Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader. Compliance Verification of 5G Service Level Agreements using Event-B. In 23rd International Symposium on Network Computing and Application, NCA 2025, Lisbon, Portugal, November 5-7, 2025. pages 263-266, IEEE, 2025. [doi]
Abstract is missing.