Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
“... the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field...”