Next Generation Design For Testability, Debug and Reliability Using Formal Techniques.

Sebastian Huhn Rolf Drechsler

Published in: ITC (2022)

Keyphrases

case study
design process
computer aided
database
data sets
user interface
machine learning
social networks
information systems
multiscale
power consumption
design principles
formal methods