Specifying and verifying real-time self-adaptive systems.

Matteo Camilli Angelo Gargantini Patrizia Scandurra

Published in: ISSRE (2015)

Keyphrases

real time
low cost
telecommunication systems
information retrieval
decision making
real time systems
high speed
response time
autonomous mobile
safety critical
computing systems
learning systems
general purpose
control system
evolutionary algorithm
knowledge base
databases