Integrated formal analysis of timed-triggered ethernet /

Bibliographic Details
Main Author:	Dutertre, Bruno
Corporate Authors:	Langley Research Center, SRI International, Honeywell International Inc
Other Authors:	Shankar, N. (Natarajan), Owre, Sam
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
Series:	NASA contractor report ; NASA CR-2012-217554.
Subjects:	Ethernet. Protocol (computers) Topology. Computer networks. Time synchronization. Formalism. Mathematical models.
Online Access:	https://purl.fdlp.gov/GPO/gpo27426

Description
Item Description:	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. Electronic resource.
Physical Description:	1 online resource (28 pages) : illustrations
Bibliography:	Includes bibliographical references (pages 23-24).