Acm Transactions On Software Engineering And Methodology
Publication date:
2023-01-01
Volume:
32
DOI:
10.1145/3522585
Publisher:
Association for Computing Machinery
Author:
Weyns, Danny
Iftikhar, Usman M
Keywords:
Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Self-adaptation, MAPE-K, formal techniques, executable models, statistical model checking, Internet of Things, ADAPTATION, CHECKING, 0803 Computer Software, 0806 Information Systems, Software Engineering, 4612 Software engineering