- 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 Cimatti, Alessandro

Showing 1 - 6 of 6 results

Search Results

Cover image for Formal methods for hardware verification

Formal methods for hardware verification

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2006
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.F67 I581 2006

Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

by Cimatti, Alessandro
2017
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for hardware verification

Formal methods for hardware verification

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2006
Format: Electronic

Location
Access Content Online

Cover image for Formal methods in computer-aided design

Formal methods in computer-aided design

by FMCAD 2008
2008
Format: Electronic

Location
Access Content Online

Cover image for Theory and applications of satisfiability testing-- SAT 2012

Theory and applications of satisfiability testing-- SAT 2012

by SAT 2012
2012
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

by Cimatti, Alessandro
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online