donderdag 3 juli 2025 11:00 - 12:30
Speaker : Caz Saaltink
Subject : Model Checking DOGLog: Implementing Risk Assessment with Object-Oriented Disruption Graphs
Date : 3 July 2025
Time : 11.00 hr
Location : Carre 3A
Meer colloquia
- ma 30 jun 2025 14:00 - 15:30Master Colloquium - Gijs de Smit (M-CS)
- di 1 jul 2025 14:00 - 15:30Master Colloquium - Khoi Nguyen (M-CS)
- wo 2 jul 2025 14:00Master Colloquium - Faisal Nizamudeen (M-CS)
- do 3 jul 2025 13:45 - 15:30Master Colloquium - Wouter van Mensvoort (M-ITECH)
- ma 7 jul 2025 11:00 - 12:30Master Colloquium - Wouter Visser (M-CS)