Toggle navigation
Hours
Libraries & Collections
Joyner Library
Laupus Health Sciences Library
Music Library
Digital Collections
Special Collections
Teaching Resources
The ScholarShip Institutional Repository
Country Doctor Museum
Get Help
Toggle navigation
ECU Libraries Catalog
Browse
Call Number
Title
Author
Subject
Series
Course Reserves
More
Search History
New Items
Suggest a Purchase
My Account
Search in
All Fields
Title
Author
Journal Title
Subject
Series
ISBN/ISSN
Publisher
search for
Search
Advanced Search
ECU Libraries Catalog
Toggle facets
Find materials by
Location
Joyner Library
5
Laupus Library
5
Music Library
5
Format
Book
5
Electronic
5
Journal
1
Publication Date
Publication Date range begin
–
Publication Date range end
Current results range from
2003
to
2015
View distribution
Collection
Joyner E-Resources
5
Laupus E-Resources
5
Language
English
1
Genre
Electronic books
4
Congresses
1
Electronic journals
1
Search Constraints
Clear Search
You searched for:
Author facet
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Remove constraint Author facet: ACM and IEEE International Conference on Formal Methods and Models for Co-Design
1
-
5
of
5
Sort by Relevance
Relevance
Year DESC
Year ASC
Author
Title
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
Search Results
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 and Book
✔ Available
Call Number:
Access Content Online
MEMOCODE 2014 twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign : 19-21 October 2014
2014
Format:
Electronic and Book
✔ Available
Call Number:
Multiple Online Resources Available
Proceedings of the twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign
2014
Format:
Electronic and Book
✔ Available
Call Number:
Access Content Online
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 and Book
✔ Available
Call Number:
Access Content Online
Proceedings
by
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
2003
Format:
Electronic, Book, and Journal
✔ Available
Call Number:
Access Content Online