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.
A bitvectors library for PVS / / Ricky W. Butler [and four others]
| A bitvectors library for PVS / / Ricky W. Butler [and four others] |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Washington, D.C., : National Aeronautics and Space Administration, 1996 |
| Descrizione fisica | 1 online resource (17 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Hardware
Proving Bit synchronization Integers Libraries |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707834703321 |
Butler Ricky W.
|
||
| Washington, D.C., : National Aeronautics and Space Administration, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The chorus conflict and loss of separation resolution algorithms / / Ricky W. Butler, George E. Hagen, and Jeffrey M. Maddalon
| The chorus conflict and loss of separation resolution algorithms / / Ricky W. Butler, George E. Hagen, and Jeffrey M. Maddalon |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2013 |
| Descrizione fisica | 1 online resource (iv, 30 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Air traffic control
Algorithms C++ (programming language) Computer programs Coordination Detection Domains Java (programming language) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705296303321 |
|
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler
| An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 |
| Descrizione fisica | 1 online resource (iii, 29 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Computer programming
Computer programs User requirements Software development tools Program verification (computers) Software reliability Equations of state Specifications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Introduction to requirements capture using PVS |
| Record Nr. | UNINA-9910707240003321 |
|
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A note about HARP's state trimming method / / Ricky W. Butler, Kelly J. Hayhurst, and Sally C. Johnson
| A note about HARP's state trimming method / / Ricky W. Butler, Kelly J. Hayhurst, and Sally C. Johnson |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1998 |
| Descrizione fisica | 1 online resource (i, 16 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Reliability analysis
Fault tolerance Failure modes Errors Boundaries |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | A note about Hybrid Automated Reliability Predictor's state trimming method |
| Record Nr. | UNINA-9910705852303321 |
|
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A turn-projected state-based conflict resolution algorithm / / Ricky W. Butler and Timothy A. Lewis
| A turn-projected state-based conflict resolution algorithm / / Ricky W. Butler and Timothy A. Lewis |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , 2013 |
| Descrizione fisica | 1 online resource (23 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Air navigation
Air traffic control Algorithms Collision avoidance Flight safety Navigation aids Trajectories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702418503321 |
|
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||