Search
Startseite // FSTM // Aktuelles // PhD Defense: Specification and model-driven trace checking of complex temporal properties
Imprimer

PhD Defense: Specification and model-driven trace checking of complex temporal properties

twitter linkedin facebook email this page
Add to calendar Zu meinem Kalender hinzufügen (Outlook/ICal)
Sprecher: Chaima BOUFAIED
Veranstaltung: Donnerstag, den 29. April 2021 15:00 - 16:00
Ort: Kirchberg – JFK – Room E004/E005

PhD Supervisor: Domenico BIANCULLI