Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.
| Author/creator | Dutertre, Bruno |
| Format | Electronic |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012] |
| Description | 1 online resource (28 pages) : illustrations. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo27426 |
| Other author/creator | Shankar, N. (Natarajan) |
| Other author/creator | Owre, Sam. |
| Other author/creator | Langley Research Center. |
| Other author/creator | SRI International. |
| Other author/creator | Honeywell International Inc. |
| Series | NASA/CR ; 2012-217554 NASA contractor report ; NASA CR-2012-217554. ^A441636 |
| General note | Title from title screen (viewed on Aug. 28, 2012). |
| General note | "March 2012." |
| General note | "Prepared by SRI International under NASA contract NNL10AB32T with Honeywell International, Inc."--Rept. documentation p. |
| Bibliography note | Includes bibliographical references (p. 23-24). |
| Report note | Contractor report; 12/2010-07/2011. |
| Funding information | Sponsored by National Aeronautics and Space Administration NNL10AB32T 534723.02.02.07.30 |
| GPO item number | 0830-H-14 (online) |
| Govt. docs number | NAS 1.26:2012-217554 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |