2 options
Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.
- Format:
- Book
- Government document
- Author/Creator:
- Dutertre, Bruno
- Series:
- NASA contractor report ; NASA CR-2012-217554.
- NASA/CR ; 2012-217554
- Language:
- English
- Subjects (All):
- Topology.
- Computer networks.
- Mathematical models.
- Computer Communication Networks.
- Models, Theoretical.
- mathematical models.
- Medical Subjects:
- Computer Communication Networks.
- Models, Theoretical.
- Physical Description:
- 1 online resource (28 pages) : illustrations.
- Place of Publication:
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
- Notes:
- Title from title screen (viewed on Aug. 28, 2012).
- "March 2012."
- "Prepared by SRI International under NASA contract NNL10AB32T with Honeywell International, Inc."--Report documentation page.
- Includes bibliographical references (pages 23-24).
- OCLC:
- 808419931
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.