International Conference on Software Engineering for Adaptive and Self-Managing Systems

• Compositional Verification of Self-Adaptive Cyber-Physical Systems