LEADER 01988nam  2200565Ia 450 
001 9910702076503321
005 20120828090537.0
035   $a(CKB)5470000002423361
035   $a(OCoLC)808419931
035   $a(EXLCZ)995470000002423361
100   $a20120828d2012      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated formal analysis of timed-triggered ethernet$b[electronic resource] /$fBruno Dutertre, Natarajan Shankar, and Sam Owre
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2012]
215   $a1 online resource (28 pages) $cillustrations
225 1 $aNASA/CR ;$v2012-217554
300   $aTitle from title screen (viewed on Aug. 28, 2012).
300   $a"March 2012."
300   $a"Prepared by SRI International under NASA contract NNL10AB32T with Honeywell International, Inc."--Rept. documentation p.
320   $aIncludes bibliographical references (pages 23-24).
606   $aEthernet$2nasat
606   $aProtocol (computers)$2nasat
606   $aTopology$2nasat
606   $aComputer networks$2nasat
606   $aTime synchronization$2nasat
606   $aFormalism$2nasat
606   $aMathematical models$2nasat
615  7$aEthernet.
615  7$aProtocol (computers)
615  7$aTopology.
615  7$aComputer networks.
615  7$aTime synchronization.
615  7$aFormalism.
615  7$aMathematical models.
700   $aDutertre$b Bruno$0885000
701   $aShankar$b N$g(Natarajan)$01412687
701   $aOwre$b Sam$01412688
712 02$aLangley Research Center.
712 02$aSRI International.
712 02$aHoneywell International Inc.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702076503321
996   $aIntegrated formal analysis of timed-triggered ethernet$93507011
997   $aUNINA