Towards Automated Dependability Analysis of Dynamically Connected Systems.

Paolo Masci, Marco Martinucci, Felicita Di Giandomenico

Browse the full ISADS paper archive.