Login / Signup
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
Marc Carwehl
Thomas Vogel
Genaína Nunes Rodrigues
Lars Grunske
Published in:
Software Engineering (2024)
Keyphrases
</>
decision making
face recognition
expert systems
management system
distributed systems
learning systems
design criteria
neural network
information retrieval systems
building blocks
model checking
real time systems