Home // FSTM // News // PhD Defense: Specification and model-driven trace checking of complex temporal properties

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

twitter linkedin facebook email this page
Add to calendar
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