Author:
Camilli Matteo,Gargantini Angelo,Scandurra Patrizia
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A hybrid model for efficient decision-making in self-adaptive systems;Information and Software Technology;2023-01
2. Modeling & Verification of an Adaptive IoT System using Uppaal;2022 IEEE 3rd Global Conference for Advancement in Technology (GCAT);2022-10-07
3. Modeling Autonomic Systems;International Journal of Software Innovation;2022-07-13
4. Formal specification and verification of decentralized self-adaptive systems using symmetric nets;Discrete Event Dynamic Systems;2021-08-05
5. Adaptation Space Reduction Using an Explainable Framework;2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC);2021-07