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]

Abstract

Abstract is missing.