Trace abstraction and correlation techniques for real-time avionic systems
Submitted by Anonymous on Tue, 2013-02-26 21:39
Date:
Wednesday, December 5, 2012 to Friday, December 7, 2012
Event date:
Wednesday, December 5, 2012
Authors' names - members:
Hossein Salman
Tracks concerned:
Event name:
Progress Report Meeting Dec. 5-7, 2012