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

Submitted by Anonymous on Mon, 05/09/2016 - 12:35
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: 
PDF icon dorsal-pm-may2016.pdf
Event name: 
Progress Report Meeting - May 2016