Runtime Verification of Self-Adaptive Systems with Changing Requirements.

Marc Carwehl Thomas Vogel Genaína Nunes Rodrigues Lars Grunske

Published in: SEAMS (2023)

Keyphrases

management system
machine learning
complex systems
databases
genetic algorithm
computing systems
real time systems
website
computer systems
information retrieval
knowledge based systems
retrieval systems
asynchronous circuits