Marjan Sirjani

Timed Rebeca models asynchronous systems with time-sensitive message handling.

Learn how the NRP FD algorithm addresses redundancy challenges in control systems.

A look into Hybrid Rebeca and its role in smart system safety.