Search alternatives:
produc » product, produce, products
producedt » productedt, produceedt, productsedt, produced, producent, producedby
introductions » introduction, introductory, introducing
projectsfor » prospectsfor, projector, productsfor
produc » product, produce, products
producedt » productedt, produceedt, productsedt, produced, producent, producedby
introductions » introduction, introductory, introducing
projectsfor » prospectsfor, projector, productsfor
|
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Table of Contents:
“...Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical...”
|
by Hassan, Muhammad, Große, Daniel, Drechsler, Rolf
Published 2023
Table of Contents:
“...Introduction -- Preliminaries -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage...”Published 2023
Springer International Publishing
|
by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023
Table of Contents:
“...Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials...”Published 2023
Springer International Publishing
|
by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf
Published 2022
Table of Contents:
“...Introduction -- Preliminaries -- Theoretical Groundwork -- Exact Placement & Routing -- Scalable...”Published 2022
Springer International Publishing
|
by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019
Table of Contents:
“...Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment...”Published 2019
Springer International Publishing
|
by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Published 2019
Table of Contents:
“...Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits...”Published 2019
Springer International Publishing
- 1
- 2