Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Author Dutertre, Bruno.

Title Integrated formal analysis of timed-triggered ethernet [electronic resource] / Bruno Dutertre, Natarajan Shankar, and Sam Owre.

Imprint Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]


Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2012-217554    ---  Available
Description 1 online resource (28 p.) : ill.
Series NASA/CR ; 2012-217554
NASA contractor report ; NASA CR-2012-217554.
Type Of Report Contractor report; 12/2010-07/2011.
Note Title 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.
Bibliography Includes bibliographical references (p. 23-24).
Funding Sponsored by National Aeronautics and Space Administration NNL10AB32T 534723.
Subject Ethernet.
Protocol (computers).
Computer networks.
Time synchronization.
Mathematical models.
Added Author Shankar, N. (Natarajan)
Owre, Sam.
Langley Research Center.
SRI International.
Honeywell International Inc.
Gpo Item No. 0830-H-14 (online)
Sudoc No. NAS 1.26:2012-217554

Available items only