Tesi di laurea con relatore o correlatore Casadei, Roberto, discusse nel 2024

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: C
Numero di documenti: 1.

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

Questa lista e' stata generata il Tue Nov 19 12:10:50 2024 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^