Runtime Verification of Self-Adaptive Systems with Changing Requirements.

Marc Carwehl Thomas Vogel Genaína Nunes Rodrigues Lars Grunske

Published in: CoRR (2023)

Keyphrases

management system
neural network
formal methods
information systems
distributed systems
intelligent systems
retrieval systems
asynchronous circuits
data sets
building blocks
data management systems
design criteria