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 |
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 | ||
|