![]() |
Su di un livello |
Cesario, Jahrim Gabriele (2024) Event-driven simulation and verification of FRASP systems against spatio-temporal properties. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [LM-DM270] - Cesena