Sign in
Formal Verification Methods for Industrial Hardware Design.
Anna Slobodová
Published in:
SOFSEM (2001)
Keyphrases
</>
formal verification
hardware design
model checking
computer vision
information systems
case study
reinforcement learning