Marjan Sirjani

Timed Rebeca modelliert asynchrone Systeme mit zeitkritischer Nachrichtenverarbeitung.

Lerne, wie der NRP FD-Algorithmus die Redundanzprobleme in Kontrollsystemen angeht.

Ein Blick auf Hybrid Rebeca und seine Rolle in der Sicherheit smarter Systeme.