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

Submitted by Anonymous on Mon, 12/12/2016 - 10:04
Date: 
Monday, December 12, 2016 to Tuesday, December 13, 2016
Event date: 
Monday, December 12, 2016
Authors' names - members: 
Raphaël Beamonte
Upload a presentation: 
PDF icon dorsal-pm-dec2016.pdf
Event name: 
Progress Report Meeting - December 2016