Emerging Verification Methods for Complex Hardware in Avionics

You are here: Homepage > Search

Emerging Verification Methods for Complex Hardware in Avionics

Karlsson, K. / Forsberg, H. / American Institute of Aeronautics and Astronautics / IEEE

Access

Access via TIB

Check availability in my library

Order at Subito €

Export, share and cite

Document information

Title :

Emerging Verification Methods for Complex Hardware in Avionics

Contributors:

Karlsson, K. (author) / Forsberg, H. (author) / American Institute of Aeronautics and Astronautics / IEEE

Conference:

24th, Digital avionics systems conference ; 2005 ; Washington, DC

Published in:

Digital avionics systems conference ; 6B1

IEEE AIAA DIGITAL AVIONICS SYSTEMS CONFERENCE ; 1

Publication date :

2005-01-01

Size :

6B1

Remarks:

Theme title Avionics in a changing marketplace safe and secure. Also known as the 24^t^h DASC IEEE cat no. 05CH37708

ISBN :

0780393074

Type of media :

Conference paper

Type of material :

Language :

English

Keywords :

Digital avionics systems , DASC

Karlsson, K. / Forsberg, H. | IEEE | 2005

Hardware/software compatibility - A verification approach for Space Shuttle avionics

CARRIER, L. / ROSEN, J. | AIAA | 1981

Hardware/Software compatibility: A verification approach for space shuttle avionics

Carrier, L.M. / Rosem, J.M. | Tema Archive | 1981

Shuttle avionics hardware programs

Levine, D.S. | Tema Archive | 1975

Flight Avionics Hardware Roadmap

R. Some / M. Goforth / H. Partridge et al. | NTIS | 2014

Access

Access via TIB

Check availability in my library

Order at Subito €

Page navigation

Document information

Similar titles