Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño |
Autore | Siminiceanu Radu I |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
Descrizione fisica | 1 online resource (31 pages) |
Altri autori (Persone) | CatañoNéstor |
Collana | NASA/CR |
Soggetto topico |
Program verification (computers)
Specifications Approach control Data flow analysis Algorithms Parallel programming |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910701132303321 |
Siminiceanu Radu I
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dual rotating rake measurements of higher-order duct modes : validation using experimental and numerical data / / Milo D. Dahl, Duane R. Hixon, Daniel L. Sutliff |
Autore | Dahl Milo D. <1956-> |
Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2018 |
Descrizione fisica | 1 online resource (37 pages) : illustrations (some color) |
Collana | NASA/TM |
Soggetto topico |
Stator blades
Data flow analysis Geometry Acoustic measurement Noise reduction |
Soggetto genere / forma | Online resources. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Dual rotating rake measurements of higher-order duct modes |
Record Nr. | UNINA-9910709885903321 |
Dahl Milo D. <1956->
![]() |
||
Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , May 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation of a 622 Mbps digital modem / / Muli Kifle [and four others] |
Autore | Kifle Muli |
Pubbl/distr/stampa | Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , July 2002 |
Descrizione fisica | 1 online resource (8 pages) : color illustrations |
Collana | NASA/TM |
Soggetto topico |
Space communication
Modems Frequency division multiplexing Data flow analysis Component reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910705699703321 |
Kifle Muli
![]() |
||
Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , July 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Operational concepts for a generic space exploration communication network architecture / / William D. Ivancic [and three others] |
Autore | Ivancic William D. |
Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , June 2015 |
Descrizione fisica | 1 online resource (40 pages) : color illustrations |
Collana | NASA/TM |
Soggetto topico |
Space communication
Communication networks Network analysis Data flow analysis Telecommunication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910707824803321 |
Ivancic William D.
![]() |
||
Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , June 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|