Self-Repairing systems modeling and verification using AGG.

Antonio Bucchiarone Patrizio Pelliccione Charlie Vattani Olga Runge

Published in: WICSA/ECSA (2009)

Keyphrases

complex systems
distributed systems
machine learning
information technology
computer systems
computing systems
databases
computer vision
search algorithm
building blocks
formal methods
signature verification
dynamic aspects