Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino,
Mirko Viroli, Danny Weyns
Proceedings of the 13th European Conference on Software Architecture - Volume 2, pages 177180
ECSA '19
ACM, New York, NY, USA
2019
keywords
adaptation, dependability, formal methods