Marjan Sirjani

Timed Rebeca modella sistemi asincroni con gestione dei messaggi sensibile al tempo.

Scopri come l'algoritmo NRP FD affronta le sfide di ridondanza nei sistemi di controllo.

Uno sguardo a Hybrid Rebeca e al suo ruolo nella sicurezza dei sistemi intelligenti.