Integrated formal analysis of timed-triggered ethernet

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

Saved in:
Bibliographic Details
Online Access: Online Access
Online Access
Main Author: Dutertre, Bruno
Corporate Authors: Langley Research Center, SRI International, Honeywell International Inc
Other Authors: Shankar, N. (Natarajan), Owre, Sam
Format: Government Document Electronic 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.

Internet

Online Access
Online Access

Online

Holdings details from Online
Call Number: NAS 1.26:2012-217554
NAS 1.26:2012-217554 Available

Similar Items