Verifying big data topologies by-design : a semi-automated approach

Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi. Verifying big data topologies by-design : a semi-automated approach. J. Big Data, 6:40, 2019. [doi]

Authors

Marcello M. Bersani

This author has not been identified. Look up 'Marcello M. Bersani' in Google

Francesco Marconi

This author has not been identified. Look up 'Francesco Marconi' in Google

Damian A. Tamburri

This author has not been identified. Look up 'Damian A. Tamburri' in Google

Andrea Nodari

This author has not been identified. Look up 'Andrea Nodari' in Google

Pooyan Jamshidi

This author has not been identified. Look up 'Pooyan Jamshidi' in Google