Research Catalog

Integrated formal analysis of timed-triggered ethernet

Title: Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.
Author: Dutertre, Bruno.
Publication: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]

Available Online

https://purl.fdlp.gov/GPO/gpo27426

Details

Additional Authors

Description

1 online resource (28 pages) : illustrations.

Series Statement

NASA/CR ; 2012-217554

Uniform Title

NASA contractor report ; NASA CR-2012-217554.

Subject

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 (note)

Includes bibliographical references (pages 23-24).

Type of Report (note)

Contractor report;

Funding (note)

Sponsored by National Aeronautics and Space Administration

Call Number

GPO Internet NAS 1.26:2012-217554

OCLC

marcive808419931

Author

Dutertre, Bruno.

Title

Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.

Publisher

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

Type of Content

text

Type of Medium

computer

Type of Carrier

online resource

Series

NASA/CR ; 2012-217554

NASA contractor report ; NASA CR-2012-217554.

Type Of Report

Contractor report; 12/2010-07/2011.

Bibliography

Includes bibliographical references (pages 23-24).

Funding

Sponsored by National Aeronautics and Space Administration NNL10AB32T 534723.02.02.07.30

Connect to:

https://purl.fdlp.gov/GPO/gpo27426

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

View in Legacy Catalog