An abstract interpretation-based timing validation of hard real-time avionics software | IEEE Conference Publication | IEEE Xplore
Skip to Main Content
IEEE.org
IEEE
Xplore
IEEE SA
IEEE Spectrum
More Sites
Subscribe
Donate
Cart
Create Account
Personal Sign In
Browse
My Settings
Help
Institutional Sign In
Institutional Sign In
All
Books
Conferences
Courses
Journals & Magazines
Standards
Authors
Citations
ADVANCED SEARCH
Conferences
>
2003 International Conference...
An abstract interpretation-based timing validation of hard real-time avionics software
Publisher:
IEEE
Cite This
PDF
S. Thesing
;
J. Souyris
;
R. Heckmann
;
F. Randimbivololona
;
M. Langenbach
;
R. Wilhelm
All Authors
Sign In
or Purchase
34
Cites in
Papers
176
Full
Text Views
Alerts
Alerts
Manage Content Alerts
Add to Citation Alerts
Abstract
Authors
Figures
References
Citations
Keywords
Metrics
More Like This
Footnotes
Download PDF
Download References
Request Permissions
Save to
Alerts
Metadata
First Page of the Article
Published in:
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.
Date of Conference:
22-25 June 2003
Date Added to IEEE
Xplore
:
09 July 2003
Print ISBN:
0-7695-1952-0
DOI:
10.1109/DSN.2003.1209972
Publisher:
IEEE
Conference Location:
San Francisco, CA, USA
First Page of the Article
Hide First Page Preview
Contents
Authors
Figures
References
Citations
Keywords
Metrics
Footnotes
References
References is not available for this document.