- ECU Libraries Catalog

Start Over

You searched for: author_facet Pecheur, Charles

Showing 1 - 2 of 2 results

Search Results

Cover image for Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

by Pecheur, Charles
2013
Format: Electronic

Location
Access Content Online

Cover image for RIACS workshop on the verification and validation of autonomous and adaptive systems

RIACS workshop on the verification and validation of autonomous and adaptive systems

by Pecheur, Charles
2001
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:210927	✔ Available