Login / Signup
Modelling and Verification of MOS Transistors at Cryogenic Temperature.
Alessandro Andreani
Luca Frontini
Valentino Liberali
Alberto Stabile
Valeria Trabattoni
Published in:
MOCAST (2023)
Keyphrases
</>
model checking
concurrent systems
data sets
verification method
neural network
genetic algorithm
search engine
decision making
image processing
database systems
image sequences
search algorithm
face verification
signature verification