Search Results for Integrated circuits -- Verification -- Congresses

4 Results Found

0000MAIN

Simulation and verification of electronic and biological systems

Peng Li

Author

Peng Li, Silveira, Luis Miguel, Feldmann, Peter

Format:

Call Number

TK7874.58 S56 2010

Publisher

Springer,

Publication Date

2010

ISBN

9789400701489

Available:
Holds:
Copies:

Cover image for Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers

International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)

Author

International Haifa Verification Conference (2nd : 2006 : Haifa, Israel), Bin, Eyal, Ziv, Avi, Ur, Shmuel

Format:

Call Number

QA76.76.V47 I57 2006

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540708889

Fulltext

Available:
Holds:
Copies:

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

CAV Conference (19th : 2007 : Berlin, Germany)

Author

CAV Conference (19th : 2007 : Berlin, Germany), Damm, Werner, Hermanns, Holger

Format:

Call Number

TA174 C35 2007

Publisher

Springer,

Publication Date

2007

ISBN

9783540733676

Fulltext

Available:
Holds:
Copies:

Cover image for Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)

Author

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Cimatti, Alessandro, Bernardo, Marco

Format:

Call Number

QA76.9.F67 I57 2006

Publisher

Springer,

Publication Date

2006

ISBN

9783540343042

Available:
Holds:
Copies:

	{displayName}	{count}
{error}