ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems
Article in ACM Transactions on Software Engineering and Methodology (January 2023)
The most recent citing publications are shown below. View all 83 publications that cite this research output on Dimensions.
Article in ACM Transactions on Software Engineering and Methodology (January 2023)
Article in The Journal of Supercomputing (January 2023)
Article in Concurrency and Computation Practice and Experience (October 2022)