Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool.

Guido Pennella, Christian Di Biagio, Alessandro Colicchia, Gianfranco Pesce, Giovanni Cantone

Browse the full ISPA paper archive.