Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems.

Juan F. Inglés-Romero Cristina Vicente-Chicote

Published in: CAiSE Workshops (2013)

Keyphrases

formal methods
computer systems
databases
bayesian networks
management system
distributed systems
artificial intelligence
multi agent systems
intelligent systems
building blocks
learning systems
complex systems
development process