Publication | Closed Access

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Real-time AbsProvisioning (Technology)EngineeringCloud SchedulingCloud ComputingCloud ArchitecturesComputer EngineeringComputer ArchitectureSystems EngineeringSoftware EngineeringResource ManagementReal-time SystemsCloud Service AdaptationCloud Resource ManagementIndustrial InformaticsCloud AutomationSystem SoftwareSoftware Design