LEADER 01608nam  2200457Ia 450 
001 9910701385203321
005 20120305143343.0
035   $a(CKB)5470000002417212
035   $a(OCoLC)779188644
035   $a(EXLCZ)995470000002417212
100   $a20120305d2005      ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 02$aA methodology for the design and verification of globally asynchronous/locally synchronous architectures$b[electronic resource] /$fSteven P. Miller ... [and others]
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2005]
215   $a1 online resource (vi, 35 pages) $cillustrations
225 1 $aNASA/CR ;$v2005-213912
300   $aTitle from title screen (viewed on March 5, 2012).
300   $a"September 2005."
320   $aIncludes bibliographical references. (pages 34-35)
606   $aComplex systems$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSynchronism$2nasat
606   $aProving$2nasat
606   $aComputers$2nasat
615  7$aComplex systems.
615  7$aProgram verification (computers)
615  7$aSynchronism.
615  7$aProving.
615  7$aComputers.
701   $aMiller$b Steven P$01205252
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701385203321
996   $aA methodology for the design and verification of globally asynchronous$93545375
997   $aUNINA