Welcome to the Kids' Library!

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

Available items only

Author

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]

Connect to
Connect to https://permanent.fdlp.gov/gpo27426/20120003666_2012004004.pdf
Connect to https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120003666.pdf

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.02.02.07.30
Subject	Ethernet.
	Protocol (computers).
	Topology.
	Computer networks.
	Time synchronization.
	Formalism.
	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