Runtime verification of real-time applications using trace data and model requirements
Submitted by Anonymous on Thu, 2016-05-05 14:06
Date:
Thursday, May 5, 2016 to Friday, May 6, 2016
Event date:
Thursday, May 5, 2016
Authors' names - members:
Raphaël Beamonte
Upload a presentation:
Tracks concerned:
Event name:
Progress Report Meeting - May 2016