Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.

Antonia Bertolino, Antonello Calabr, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci

Browse the full ISADS paper archive.