Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker
| Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker |
| Autore | Easwaran Arvind |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
| Descrizione fisica | 1 online resource (30 pages) : color illustrations |
| Collana | [NASA contractor report] |
| Soggetto topico |
Clocks
Fault tolerance Synchronism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702453003321 |
Easwaran Arvind
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and analysis of mixed synchronous/asynchronous systems / / Kevin R. Driscoll, Gabor Madl, and Brendan Hall
| Modeling and analysis of mixed synchronous/asynchronous systems / / Kevin R. Driscoll, Gabor Madl, and Brendan Hall |
| Autore | Driscoll Kevin R. |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
| Descrizione fisica | 1 online resource (38 pages) : color illustrations |
| Collana | [NASA contractor report] |
| Soggetto topico |
Design analysis
Synchronism Interfaces Telecommunication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Modeling and analysis of mixed synchronous asynchronous systems |
| Record Nr. | UNINA-9910702453103321 |
Driscoll Kevin R.
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||