LoginTesi di laurea con relatore o correlatore Casadei, Roberto, discusse nel 2024
![[su]](/style/images/multi_up.png)
Su di un livelloNumero di documenti: 2.
C
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
F
Ferar Tofan, Luca Nicolae (2024) Progettazione e sviluppo di una web app per la somministrazione di questionari. [Laurea], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [L-DM270] - Cesena, Documento full-text non disponibile
