Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu. From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. In ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia. ACM, 2021. [doi]
Abstract is missing.