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.
Achieving agreement in three rounds with bounded-Byzantine faults / / Mahyar R. Malekpour
| Achieving agreement in three rounds with bounded-Byzantine faults / / Mahyar R. Malekpour |
| Autore | Malekpour Mahyar R. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 |
| Descrizione fisica | 1 online resource (ii, 35 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Program verification (computers)
Fault tolerance Distributed processing Time synchronization Fault detection |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910704022803321 |
Malekpour Mahyar R.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities [[electronic resource] /] / Eric G. Cooper ... [and others]
| Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities [[electronic resource] /] / Eric G. Cooper ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2009] |
| Descrizione fisica | 1 online resource (17 pages) : illustrations |
| Altri autori (Persone) | CooperEric G |
| Collana | NASA TM- |
| Soggetto topico |
Software engineering
Structural health monitoring Systems health monitoring Program verification (computers) Fault detection |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910697084503321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A criteria standard for conflict resolution [[electronic resource] ] : a vision for guaranteeing the safety of self-separation in NextGen / / César Muñoz ... [and others]
| A criteria standard for conflict resolution [[electronic resource] ] : a vision for guaranteeing the safety of self-separation in NextGen / / César Muñoz ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2010] |
| Descrizione fisica | 1 online resource (32 pages) : illustrations |
| Altri autori (Persone) | MuñozCésar |
| Collana | NASA/TM |
| Soggetto topico |
Air traffic
Safety factors Program verification (computers) Systems engineering Avionics Civil aviation Commercial aircraft |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Criteria standard for conflict resolution |
| Record Nr. | UNINA-9910699904203321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of a flight software testing methodology [[electronic resource] ] : final report / / Edward J. McCluskey and Dorothy M. Andrews
| Development of a flight software testing methodology [[electronic resource] ] : final report / / Edward J. McCluskey and Dorothy M. Andrews |
| Autore | McCluskey Edward J. <1929-> |
| Pubbl/distr/stampa | Stanford, Calif. : , : Center for Reliable Computing, Stanford University |
| Descrizione fisica | 1 online resource (ii, 26 pages) : illustrations |
| Altri autori (Persone) | AndrewsDorothy M-1984. (Dorothy May) |
| Collana | NASA CR |
| Soggetto topico |
Computer programs
Digital command systems Error detection codes Flight control Flight tests Program verification (computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Development of a flight software testing methodology |
| Record Nr. | UNINA-9910701795503321 |
|
McCluskey Edward J. <1929->
|
||
| Stanford, Calif. : , : Center for Reliable Computing, Stanford University | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal assurance certifiable tooling strategy final report / / Eric Bush [and six others]
| Formal assurance certifiable tooling strategy final report / / Eric Bush [and six others] |
| Autore | Bush Eric Niels |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017 |
| Descrizione fisica | 1 online resource (31 pages) : color illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Certification
Computer programs Program verification (computers) Software development tools Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705710003321 |
|
Bush Eric Niels
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017 | ||
| 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 | ||
| ||
Kodiak : an implementation framework for branch and bound algorithms / / Andrew P. Smith [and three others]
| Kodiak : an implementation framework for branch and bound algorithms / / Andrew P. Smith [and three others] |
| Autore | Smith Andrew P. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2015 |
| Descrizione fisica | 1 online resource (iii, 18 pages) : color illustration |
| Collana | NASA/TM |
| Soggetto topico |
Program verification (computers)
Rational functions Polynomials Software engineering Heuristic methods |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Kodiak |
| Record Nr. | UNINA-9910703962603321 |
|
Smith Andrew P.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A methodology for evaluating artifacts produced by a formal verification process [[electronic resource] /] / Radu I. Siminiceanu, Paul S. Miner and Suzette Person
| A methodology for evaluating artifacts produced by a formal verification process [[electronic resource] /] / Radu I. Siminiceanu, Paul S. Miner and Suzette Person |
| Autore | Siminiceanu Radu I |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (23 pages) : color illustrations |
| Altri autori (Persone) |
MinerPaul S. <1962->
PersonSuzette |
| Collana | NASA/TM |
| Soggetto topico |
Program verification (computers)
Formalism Ethernet Fault tolerance Algorithms Design analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701854503321 |
|
Siminiceanu Radu I
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A methodology for the design and verification of globally asynchronous/locally synchronous architectures [[electronic resource] /] / Steven P. Miller ... [and others]
| A methodology for the design and verification of globally asynchronous/locally synchronous architectures [[electronic resource] /] / Steven P. Miller ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] |
| Descrizione fisica | 1 online resource (vi, 35 pages) : illustrations |
| Altri autori (Persone) | MillerSteven P |
| Collana | NASA/CR |
| Soggetto topico |
Complex systems
Program verification (computers) Synchronism Proving Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701385203321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
