- 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 ACM and IEEE International Conference on Formal Methods and Models for Co-Design

Showing 1 - 6 of 6 results

Search Results

Cover image for Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign

by Automation, ACM Special Interest Group on Design
2015
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign

by Automation, ACM Special Interest Group on Design
2012
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

Proceedings of the twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

2014
Format: Electronic

Location
Access Content Online

Cover image for MEMOCODE

MEMOCODE

2014
Format: Electronic

Location
Access Content Online

Cover image for Proceedings

Proceedings

by ACM and IEEE International Conference on Formal Methods and Models for Co-Design
2003
Format: Electronic

Location
Access Content Online

Cover image for MEMOCODE'04

MEMOCODE'04

by ACM and IEEE International Conference on Formal Methods and Models for Co-Design
2004
Format: Electronic

Location
Access Content Online