Publications en collaboration avec des chercheurs de University of L'Aquila (2)

2021

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

    Microprocessors and Microsystems, Vol. 87

2014

  1. Performance-based selection of software and hardware features under parameter uncertainty

    QoSA 2014 - Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014)