Login / Signup
The Verification Grand Challenge.
Jim Woodcock
Richard Banach
Published in:
J. Univers. Comput. Sci. (2007)
Keyphrases
</>
grand challenge
autonomous driving
model checking
face verification
person identification
fingerprint verification
grand challenges
functional verification
data sets
metadata
dynamic programming
cryptographic protocols