Current practices in constructing and evaluating assurance cases with applications to aviation / / David J. Rinehart, John C. Knight and Jonathan Rowanhill
| Current practices in constructing and evaluating assurance cases with applications to aviation / / David J. Rinehart, John C. Knight and Jonathan Rowanhill |
| Autore | Rinehart David J. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , January 2015 |
| Descrizione fisica | 1 online resource (iv, 80 pages) : color illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Assurance
Systems engineering National Airspace System Risk management Case histories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910703630103321 |
Rinehart David J.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , January 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Understanding what it means for assurance cases to "work" / / David J. Rinehart, John C. Knight and Jonathan Rowanhill
| Understanding what it means for assurance cases to "work" / / David J. Rinehart, John C. Knight and Jonathan Rowanhill |
| Autore | Rinehart David J. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2017 |
| Descrizione fisica | 1 online resource (ii unnumbered pages, 71 pages) : color illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Air traffic control
Assurance Asynchronous transfer mode Certification Computer systems programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705798303321 |
Rinehart David J.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2017 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||