Integrating Software and Hardware Verification.

Marie-Christine Jakobs Marco Platzner Heike Wehrheim Tobias Wiersema

Published in: IFM (2014)

Keyphrases

model checking
learning environment
formal verification
data sets
neural network
information systems
decision making
website
three dimensional
face verification
signature verification
fingerprint verification