Design of the protocol processor for the ROBUS-2 communication system [[electronic resource] /] / Wilfredo Torres-Pomales, Mahyar Malekpour and Paul S. Miner |
Autore | Torres-Pomales Wilfredo |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] |
Descrizione fisica | 1 online resource (xvi, 233 pages) : illustrations |
Altri autori (Persone) |
MalekpourMahyar
MinerPaul S. <1962-> |
Collana | NASA/TM- |
Soggetto topico |
Communication networks
Protocol (computers) Data processing equipment Computer systems design Fault tolerance |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910697039403321 |
Torres-Pomales Wilfredo | ||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] | ||
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 |
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 | ||
|