Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods case studies for DO-333 / / Darren Cofer and Steven P. Miller
| Formal methods case studies for DO-333 / / Darren Cofer and Steven P. Miller |
| Autore | Cofer Darren |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 |
| Descrizione fisica | 1 online resource (198 pages) : illustrations |
| Collana | NASA-CR |
| Soggetto topico |
Avionics
Air traffic control Software engineering Computer programming Theorem proving |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702569303321 |
Cofer Darren
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods tool qualification / / Lucas G. Wagner [and four others]
| Formal methods tool qualification / / Lucas G. Wagner [and four others] |
| Autore | Wagner Lucas G. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017 |
| Descrizione fisica | 1 online resource (40 pages) : color illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Avionics
Digital systems Certification Identifying Qualifications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705738003321 |
|
Wagner Lucas G.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Framework for small-scale experiments in software engineering : guidance and control software project : software engineering case study / / Kelly J. Hayhurst
| Framework for small-scale experiments in software engineering : guidance and control software project : software engineering case study / / Kelly J. Hayhurst |
| Autore | Hayhurst Kelly J (Kelly Jeanne), <1962-> |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1998 |
| Descrizione fisica | 1 online resource (v, 39 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Software engineering
Avionics Airframes Commercial aircraft |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Framework for small-scale experiments in software engineering |
| Record Nr. | UNINA-9910705870703321 |
|
Hayhurst Kelly J (Kelly Jeanne), <1962->
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware interface description for the integrated power, avionics, and software (iPAS) space telecommunications radio system (STRS) radio / / Mary Jo W. Shalkhauser and Rigoberto Roche
| Hardware interface description for the integrated power, avionics, and software (iPAS) space telecommunications radio system (STRS) radio / / Mary Jo W. Shalkhauser and Rigoberto Roche |
| Autore | Shalkhauser Mary Jo W. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2017 |
| Descrizione fisica | 1 online resource (25 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Applications programs (computers)
Avionics Radio equipment Software engineering Telecommunication Waveforms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Hardware interface description for the integrated power, avionics, and software |
| Record Nr. | UNINA-9910705713303321 |
|
Shalkhauser Mary Jo W.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Heavy Lift Vehicle (HLV) avionics flight computing architecture study [[electronic resource] /] / Robert F. Hodson ... [and others]
| Heavy Lift Vehicle (HLV) avionics flight computing architecture study [[electronic resource] /] / Robert F. Hodson ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (88 pages) : color illustrations |
| Altri autori (Persone) | HodsonRobert F |
| Collana | NASA/TM |
| Soggetto topico |
Avionics
Fault tolerance Launch vehicles Reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Heavy Lift Vehicle |
| Record Nr. | UNINA-9910701118403321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human factors issues associated with the use of speech technology in the cockpit / / Z.A. Kersteen, D. Damos
| Human factors issues associated with the use of speech technology in the cockpit / / Z.A. Kersteen, D. Damos |
| Autore | Kersteen Z. A. |
| Pubbl/distr/stampa | Moffett Field, California : , : National Aeronautics and Space Administration, Ames Research Center, , December 1983 |
| Descrizione fisica | 1 online resource (24 pages) : illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Human factors engineering
Speech recognition Voice communication Avionics Amplitudes |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910709842203321 |
|
Kersteen Z. A.
|
||
| Moffett Field, California : , : National Aeronautics and Space Administration, Ames Research Center, , December 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A hybrid power management (HPM) based vehicle architecture [[electronic resource] /] / Dennis J. Eichenberg
| A hybrid power management (HPM) based vehicle architecture [[electronic resource] /] / Dennis J. Eichenberg |
| Autore | Eichenberg Dennis J |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] |
| Descrizione fisica | 1 online resource (16 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Avionics
Electric automobiles Energy conversion Energy technology Electric power |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Hybrid power management |
| Record Nr. | UNINA-9910701129703321 |
|
Eichenberg Dennis J
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The IEE Seminar on Cosmic Radiation Single Event Effects and Avionics, 2005 (Ref. No. 2005/11270) : 6 December 2005
| The IEE Seminar on Cosmic Radiation Single Event Effects and Avionics, 2005 (Ref. No. 2005/11270) : 6 December 2005 |
| Pubbl/distr/stampa | Stevenage, England : , : IET, , 2006 |
| Descrizione fisica | 1 online resource (227 pages) |
| Soggetto topico | Avionics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207475703316 |
| Stevenage, England : , : IET, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IEEE aerospace and electronic systems magazine
| IEEE aerospace and electronic systems magazine |
| Pubbl/distr/stampa | New York, NY, : Institute of Electrical and Electronics Engineers, 1988- |
| Disciplina | 629 |
| Soggetto topico |
Avionics
Astrionics Electronics in military engineering |
| ISSN | 1557-959X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910626184703321 |
| New York, NY, : Institute of Electrical and Electronics Engineers, 1988- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE aerospace and electronic systems magazine
| IEEE aerospace and electronic systems magazine |
| Pubbl/distr/stampa | New York, NY, : Institute of Electrical and Electronics Engineers, 1988- |
| Disciplina | 629 |
| Soggetto topico |
Avionics
Astrionics Electronics in military engineering |
| ISSN | 1557-959X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202955103316 |
| New York, NY, : Institute of Electrical and Electronics Engineers, 1988- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Avionics
(128)
- Astrionics (25)
- Air traffic control (12)
- Fiber optics (12)
- Photonics (12)