To search, Click below search items.
All Published Papers Search Service
Title
Modeling and Analysis of MAPE-K loop in Self Adaptive Systems using Petri Nets
Author
Natash Ali Mian, Farooq Ahmad
Vol. 17 No. 12 pp. 158-163
Keywords
Feedback loop, Formal Methods, MAPE-K, Petri nets, Self-adaptive systems