LEADER 01528nam  2200445I  450 
001 9910702453003321
005 20130820125644.0
035   $a(CKB)5470000002427638
035   $a(OCoLC)825823139
035   $a(EXLCZ)995470000002427638
100   $a20130129d2012      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel-driven test generation of distributed systems /$fArvind Easwaran, Brendan Hall, and Kevin Schweiker
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2012]
215   $a1 online resource (30 pages) $ccolor illustrations
225 1 $a[NASA contractor report] ;$vNASA/CR 2012-217764
300   $aTitle from title screen (viewed Jan. 29, 2013).
300   $a"September 2012."
320   $aIncludes bibliographical references (pages 29).
606   $aClocks$2nasat
606   $aFault tolerance$2nasat
606   $aSynchronism$2nasat
615  7$aClocks.
615  7$aFault tolerance.
615  7$aSynchronism.
700   $aEaswaran$b Arvind$01419674
702   $aHall$b Brendan
702   $aSchweiker$b Kevin
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702453003321
996   $aModel-driven test generation of distributed systems$93534982
997   $aUNINA