An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

14 years 4 months ago

Stephan Thesing, Jean Souyris, Reinhold Heckmann,

Computer Networks | DSN 2003 |

claim paper

Added	04 Jul 2010
Updated	04 Jul 2010
Type	Conference
Year	2003
Where	DSN
Authors	Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand

Comments (0)