Bereket Shimels Ayele

MARVeLus verbindet Verifizierung und Implementierung für sicherere cyber-physikalische Systeme.