Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results Limit/Sort Search
     
Available items only
Add Marked to Bag Add All On Page
Authors (1-2 of 2)
Dutertre Bruno
1
E-Book/E-Doc
 

Integrated formal analysis of timed-triggered ethernet


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

Rating:

Website  More...

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2012-217554    ---  Available
2
E-Book/E-Doc
 

Probabilistic analysis of distributed fault-tolerant systems


Dutertre, Bruno.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Rating:

Website  More...

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2011-217090    ---  Available
Add Marked to Bag Add All On Page
Locate in results
Back to Search Results Limit/Sort Search
 
    
Available items only