Error propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework [[electronic resource] /] / Brian W. LaValley, Philip D. Little, and Chris J. Walter |
Autore | LaValley Brian W |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
Descrizione fisica | 1 online resource (29 pages) : color illustrations |
Altri autori (Persone) |
LittlePhilip D
WalterC. J (Chris J.) |
Collana | NASA/CR |
Soggetto topico |
Design analysis
Error analysis Fault tolerance Reliability |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Error propagation analysis in the SAE Architecture Analysis and Design Language |
Record Nr. | UNINA-9910700818003321 |
LaValley Brian W | ||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modeling techniques for high dependability protocols and architecture / / Brian LaValley, Peter Ellis, and Chris J. Walter |
Autore | LaValley Brian |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
Descrizione fisica | 1 online resource (22 pages) : color illustrations |
Collana | NASA/CR |
Soggetto topico |
Fault tolerance
Architecture (computers) Protocol (computers) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702452903321 |
LaValley Brian | ||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|