An abstract interpretation-based timing validation of hard real-time avionics software | IEEE Conference Publication | IEEE Xplore

An abstract interpretation-based timing validation of hard real-time avionics software


First Page of the Article

Date of Conference: 22-25 June 2003
Date Added to IEEE Xplore: 09 July 2003
Print ISBN:0-7695-1952-0
Conference Location: San Francisco, CA, USA

First Page of the Article


References

References is not available for this document.