Integrated circuits - Congresses. - Verification

Simulation and verification of electronic and biological systems by: (Electronic resources)

Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (Electronic resources)

Integrated circuits- Verification

Nanoelectronics

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Integrated circuits- Computer simulation.

Circuits and Systems.

Computer software- Testing

Nanotechnology and Microengineering.

Integrated circuits- Testing

Engineering.

Simulation and Modeling.

Computer software- Verification

Computer Science.