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

Submitted by Anonymous on Thu, 2015-12-10 15:06
Date: 
Thursday, December 10, 2015 to Friday, December 11, 2015
Event date: 
Thursday, December 10, 2015
Authors' names - members: 
Michel Dagenais
Raphaël Beamonte
Upload a presentation: 
PDF icon dorsal-pm-dec2015.pdf

Tracks concerned:

Event name: 
Progress Report Meeting - Dec 2015