Trace abstraction and correlation techniques for real-time avionic systems
Submitted by fwininger on Thu, 2013-12-19 20:34
Date:
Tuesday, December 10, 2013
Event date:
Tuesday, December 10, 2013
Authors' names - members:
Abdelwahab Hamou-Lhadj
Hossein Salman
Event name:
Progress Report Meeting - December 2013