Marjan Sirjani

Rebeca temporizada modela sistemas asíncronos con manejo de mensajes sensibles al tiempo.

Aprende cómo el algoritmo NRP FD enfrenta los retos de redundancia en los sistemas de control.

Una mirada a Hybrid Rebeca y su papel en la seguridad de sistemas inteligentes.