Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone. A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. In Naoki Abe, Huan Liu 0001, Calton Pu, Xiaohua Hu, Nesreen Ahmed, Mu Qiao, Yang Song, Donald Kossmann, Bing Liu 0001, Kisung Lee, Jiliang Tang, Jingrui He, Jeffrey Saltz, editors, IEEE International Conference on Big Data, Big Data 2018, Seattle, WA, USA, December 10-13, 2018. pages 5305-5307, IEEE, 2018. [doi]
Abstract is missing.