Dependability Analysis and Verification for Connected Systems.

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu

Browse the full ISoLA paper archive.