MPG.eBooks - Search Results - %22Signals and Communication Technology%22

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Checking of Analog and Mixed-Signal Circuits Using an SMT Solver -- Model Checking Contracts – A Case Study...”