- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Dutertre, Bruno

Showing 1 - 2 of 2 results

Search Results

Cover image for Probabilistic analysis of distributed fault-tolerant systems

Probabilistic analysis of distributed fault-tolerant systems

by Dutertre, Bruno
2011
Format: Electronic

Location
Access Content Online

Cover image for Integrated formal analysis of timed-triggered ethernet

Integrated formal analysis of timed-triggered ethernet

by Dutertre, Bruno
2012
Format: Electronic

Location
Access Content Online