Login / Signup
Cast-as-Intended Verification in Norway.
Jordi Puigalli
Sandra Guasch
Published in:
Electronic Voting (2012)
Keyphrases
</>
model checking
verification method
formal verification
real world
multimedia
database
ultimate goal
feature vectors
functional verification
false acceptance rate
person identification
test generation
multi agent systems
case study
decision trees
information systems
real time