Claudio Mandrioli

Doctoral Student
More filtering options
  1. 2018
  2. Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking

    Claudio Mandrioli, Leva, A. & Martina Maggio, 2018 Oct 29, 2018 IEEE Conference on Control Technology and Applications, CCTA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1466-1471 6 p. 8511410

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding