01988nam 2200565Ia 450 991070207650332120120828090537.0(CKB)5470000002423361(OCoLC)808419931(EXLCZ)99547000000242336120120828d2012 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierIntegrated formal analysis of timed-triggered ethernet[electronic resource] /Bruno Dutertre, Natarajan Shankar, and Sam OwreHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2012]1 online resource (28 pages) illustrationsNASA/CR ;2012-217554Title from title screen (viewed on Aug. 28, 2012)."March 2012.""Prepared by SRI International under NASA contract NNL10AB32T with Honeywell International, Inc."--Rept. documentation p.Includes bibliographical references (pages 23-24).EthernetnasatProtocol (computers)nasatTopologynasatComputer networksnasatTime synchronizationnasatFormalismnasatMathematical modelsnasatEthernet.Protocol (computers)Topology.Computer networks.Time synchronization.Formalism.Mathematical models.Dutertre Bruno885000Shankar N(Natarajan)1412687Owre Sam1412688Langley Research Center.SRI International.Honeywell International Inc.GPOGPOBOOK9910702076503321Integrated formal analysis of timed-triggered ethernet3507011UNINA