Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Drechsler, Rolf, University of Bremen

• Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner - Articles
  Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.