Login / Signup
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems.
Davi Monteiro Barbosa
Rómulo Gadelha de Moura Lima
Paulo Henrique Mendes Maia
Evilásio Costa Junior
Published in:
SEAMS@ICSE (2017)
Keyphrases
</>
expert systems
real time
distributed systems
complex systems
management system
monitoring system
formal methods
learning algorithm
case study
intelligent systems
software tools
asynchronous circuits
multimodal biometrics
automated verification