Selezione IdR62/26 per il conferimento di n. 1 incarico di ricerca nel GSD 09/IINF-05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, SSD IINF-05/A - Sistemi di elaborazione delle informazioni, per l’attuazione del programma di ricerca “Specification mining e runtime verification per sistemi cyberfisici in Industria 5.0”, nell’ambito del progetto di ricerca “TEcnologie Assistive per la MAnifattura Intelligente – verso Industria 5.0 – TEAM-AI”, finanziato dalla Regione Veneto