Loading...
Please wait, while we are loading the content...
Similar Documents
Integrated formal analysis of timed-triggered ethernet
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Shankar, Nstarajan Dutertre, Bruno Owre, Sam |
| Copyright Year | 2012 |
| File Size | 218454 |
| Page Count | 33 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20120003666 |
| Archival Resource Key | ark:/13960/t3qv8hp2x |
| Language | English |
| Publisher Date | 2012-03-01 |
| Access Restriction | Open |
| Subject Keyword | Fault Tolerance Protocol Computers Ethernet Data Processing Computer Networks Mathematical Models Topology Formalism Time Synchronization Program Verification Computers Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |