Runtime verification of real-time applications using trace data and model requirements

Date: 
Thursday, May 5, 2016 to Friday, May 6, 2016
Event date: 
Thursday, May 5, 2016
Authors' names - members: 
Michel Dagenais
Raphaël Beamonte
Upload a presentation: 
Event name: 
Progress Report Meeting - May 2016