Publications in collaboration with researchers from Consiglio Nazionale delle Ricerche (1)

2021

  1. The VALU3S ECSEL project: Verification and validation of automated systems safety and security

    Microprocessors and Microsystems, Vol. 87