Search
Home // FSTM // News // 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 Add to my Calendar (Outlook/ICal)
Speaker: Chaima BOUFAIED
Event date: Thursday, 29 April 2021 03:00 pm - 04:00 pm
Place: Kirchberg – JFK – Room E004/E005

PhD Supervisor: Domenico BIANCULLI